documents   about archive   about project   Andrei Ershov   in Russian

Archive Editorial activity Reviews Abstract

	Abstract of the paper by E.Orlovskaya "Automatic theorem proving in a certain class of formulae of predicate calculus". Date: 26.02.1970 Original document language: English Authors: Andrei Petrovich Ershov Images of pages: 1 Back Next document (Abstract) Previous document (Abstract)
	Switch to Russian | Search | Advanced search | Folders | Themes

Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016