Custom cover image
Custom cover image

Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz / Clemens Beckstein

By: Resource type: Ressourcentyp: BuchBookLanguage: German Series: Informatik-Fachberichte ; 199Publisher: Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo : Springer, 1988Description: IX, 246 S : graph. Darst ; 24 cmISBN:
  • 3540507205
  • 0387507205
Subject(s): Genre/Form: DDC classification:
  • 005.1 20
MSC: MSC: *68-02 | 68T99RVK: RVK: ES 920 | ST 230 | ST 240LOC classification:
  • QA76.63
Dissertation note: Zugl.: Erlangen, Nürnberg, Univ., Diss. : 1988 Call number: Grundsignatur: 89 A 200PPN: PPN: 024137944
Holdings
Item type Home library Shelving location Call number Status Barcode
Magazinbestand ausleihbar Bibliothek Campus Süd Geschlossenes Magazin 89 A 200 Available 46736532090
Total holds: 0
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT