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