Details for: Automated reasoning introduction and applications › Научная библиотека ТГУ catalog

Image from Google Jackets

Normal view MARC view

Automated reasoning introduction and applications Larry Wos, Ross Overbeek, Ewing Lusk [a. o.]

Contributor(s): Wos, Larry | Overbeek, Ross | Lusk, Ewing Material type: Text

TextPublication details: Englewood Cliffs Prentice-Hall 1984Description: XIV, 482 p. illISBN: 0130544531; 0130544469 (pbk.)Subject(s): Automatic theorem proving | Artificial intelligence | Computer programmingDDC classification: 001.53/5 LOC classification: QA76.9.A96 | A93 1984

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Выдается в читальный зал	Научная библиотека ТГУ Книгохранилище	1-519604 (Browse shelf(Opens below))	Available		13820000991723

Previous	No cover image available	No cover image available	No cover image available			No cover image available	No cover image available	Next
Previous	1-519592к Demian die Geschichte von Emil Sinclairs Jugend	1-519593к Preussische Provinzial-Blaetter Bd. 5-6	1-519594к Briefwechsel zwischen Schiller und Goethe mit Einfuehrung von Houston Stewart Chamberlain Bd. 1	1-519604 Automated reasoning introduction and applications	1-519620 Finite rank torsion free abelian groups and rings	1-519643 Zeszyty naukowe Uniwersytetu Jagiellonskiego N 715	1-519648 Zeszyty naukowe Uniwersytetu Jagiellonskiego N 747	Next

Includes bibliographical references and index.

There are no comments on this title.

to post a comment.