Handbook of automated reasoning:

Handbook of Automated Reasoning

Gespeichert in:
Bibliographische Detailangaben
Format: Elektronisch E-Book
Sprache:English
Veröffentlicht: Amsterdam New York Cambridge, Mass. Elsevier MIT Press © 2001
Schlagworte:
Online-Zugang:FLA01
Volltext
Zusammenfassung:Handbook of Automated Reasoning
Beschreibung:Includes bibliographical references and index
Beschreibung:1 online resource (2 volumes (xxv, 2122 pages)) illustrations
ISBN:9780444508133
0444508139
0444829490
9780444829498
0444508120
9780444508126
9780080532790
0080532799

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen