Theory of deductive systems and its applications /
S.Yu. Maslov ; translated by Michael Gelfond and Vladimir Lifschitz.

Description

Main Author

Maslov, S. I͡U. (Sergeĭ I͡Urʹevich).

Language(s)

English ; Russian

Published

Cambridge, Mass. : MIT Press, c1987.

Subjects

Artificial intelligence.
Machine theory.
Algorithms.
Logic, Symbolic and mathematical.

Note

Translation of: Teoriya deduktivnykh system i yeyo primeneniya.

Physical Description

x, 151 p. ; 24 cm.

ISBN

0262132230

Locate a Print Version

Find in a library

Viewability