Automated reasoning : introduction and applications; [includes the A. R. programm OTTER on disk] / Larry Wos ...

Contributor(s):

Wos, Larry [oth]

Resource type: Ressourcentyp: BuchBookLanguage: English Publisher: New York [u.a.] : McGraw-Hill, 1992Edition: 2. edDescription: XVI, 656 S. : graph. Darst. + 1 Diskette (2,25")ISBN:

007911251X

Subject(s):

Künstliche Intelligenz
Automatisches Beweisverfahren
Automated theorem proving
Logic, symbolic and mathematical

MSC: MSC: *68T27 | 68-01 | 94C10 | 68T35 | 68T15RVK: RVK: ST 285Notes: Anmerkungen: Mit 1 Diskette 5,25"Note: Hinweis: Mit 1 Diskette 5,25"Action note:

Call number: Grundsignatur: 84 A 3633(2)PPN: PPN: 1607375850

Holdings ( 1 )
Title notes ( 1 )

Holdings
Item type	Home library	Shelving location	Call number	Status	Date due	Barcode	Item holds
Magazinbestand ausleihbar	Bibliothek Campus Süd	Geschlossenes Magazin	84 A 3633(2)	Available		53484881090

Total holds: 0

Archivierung prüfen 20221111 DE-640 2 pdager

Place hold
Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)