Custom cover image
Custom cover image

Computing in Horn clause theories / Peter Padawitz

By: Resource type: Ressourcentyp: BuchBookLanguage: English Series: European Association for Theoretical Computer Science. EATCS monographs on theoretical computer sciences ; 16Publisher: Berlin ; Heidelberg [u.a.] : Springer, 1988Description: XI, 322 S : graph. DarstISBN:
  • 3540194274
  • 0387194274
Subject(s): DDC classification:
  • 511.3 19
MSC: MSC: *68-02 | 03B10 | 68Q65 | 68Q60RVK: RVK: ST 130LOC classification:
  • QA76.6
Contents:
Literaturverz. S. [307] - 316
Call number: Grundsignatur: 88 A 3593PPN: PPN: 024128007
Holdings
Item type Home library Shelving location Call number Status Barcode
Magazinbestand ausleihbar Bibliothek Campus Süd Geschlossenes Magazin 88 A 3593 Available 46807210090
Total holds: 0