Books+ Search Results
Zarys dedukcyjnych metod automatycznego wnioskowania
Author
Title
Zarys dedukcyjnych metod automatycznego wnioskowania / Andrzej Szałas.
ISBN
8390045176
Published
Warszawa : Akademicka Oficyna Wydawnicza RM, 1992.
Physical Description
120 p. : ill. ; 20 cm.
Format
Books
Language
Polish
Added to Catalog
June 01, 2002
Series
Problemy Wspólczesnej Nauki i Techniki. Informatyka ; [6]
Bibliography
Includes bibliographical references (p. [117]-119) and index.
Subjects
Bookmark As
Citation
