Custom cover image
Custom cover image

Automatisierung von Terminierungsbeweisen / Christoph Walther

By: Resource type: Ressourcentyp: BuchBookLanguage: German Series: Artificial intelligencePublisher: Wiesbaden : Vieweg, 1991Description: IX, 253 SISBN:
  • 3528047712
Subject(s): Genre/Form: MSC: MSC: *68T15 | 68-02RVK: RVK: ST 140Dissertation note: Zugl.: Karlsruhe, Univ., Habil.-Schr., 1990 u.d.T.: Walther, Christoph: A many sorted calculus based on resolution and paramodulation Call number: Grundsignatur: 91 A 1008PPN: PPN: 1651184380
Holdings
Item type Home library Collection Shelving location Call number Copy number Status Barcode
Magazinbestand ausleihbar Bibliothek Campus Süd Geschlossenes Magazin 91 DA 63 ;b Available 49071768090
Magazinbestand ausleihbar Bibliothek Campus Süd Geschlossenes Magazin 91 A 1008 Available 46206740090
Freihandbestand ausleihbar Fachbibliothek Informatik D.Wal Bibliothek / frei aufgestellt D.Wal(13180) Available 000144175090
Total holds: 0