Cover Image

Theory of deductive systems and its applications /

Bibliographic Details
Main Author: Maslov, S. I͡U. (Sergeĭ I͡Urʹevich)
Format: Book
Language:English
Published: Cambridge, Mass. : MIT Press, [1987]
Series:MIT Press series in the foundations of computing.
Subjects:
Logic, Symbolic and mathematical.
Algorithms.
Machine theory.
Artificial intelligence.
Description
Item Description:Translation of: Teoriya deduktivnykh system i yeyo primeneniya.
Physical Description:x, 151 pages ; 24 cm.
Bibliography:Bibliography: pages [149]-151.
ISBN:0262132230