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

Mitwirkende(r):

Wos, Larry [oth]

Resource type: Ressourcentyp: BuchBuchSprache: Englisch Verlag: New York [u.a.] : McGraw-Hill, 1992Auflage: 2. edBeschreibung: XVI, 656 S. : graph. Darst. + 1 Diskette (2,25")ISBN:

007911251X

Schlagwörter:

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"Bearbeitungsvermerk:

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

Exemplare ( 1 )
Titelinformationen ( 1 )

Exemplare
Medientyp	Heimatbibliothek	Standort	Signatur	Status	Fälligkeitsdatum	Barcode	Vormerkungen
Magazinbestand ausleihbar	Bibliothek Campus Süd	Geschlossenes Magazin	84 A 3633(2)	Verfügbar		53484881090

Anzahl Vormerkungen: 0

Archivierung prüfen 20221111 DE-640 2 pdager

Vormerken
Druck
Meinem Korb hinzufügen (Entfernen)
Datensatz speichern
BIBTEX Dublin Core MARCXML MARC (Nicht-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
Weitere Suchen

Suche nach diesem Titel in:
Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)