Custom cover image
Custom cover image

Symbolic logic and mechanical theorem proving / Chin-Liang Chang; Richard Char-Tung Lee

By: Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: Computer science classicsPublisher: San Diego [u.a.] : Academic Press, 1973Description: XIII, 331 S. : graph. DarstISBN:
  • 0121703509
Subject(s): DDC classification:
  • 511/.3
  • 511.3
RVK: RVK: ST 304LOC classification:
  • QA9
Call number: Grundsignatur: 74 A 310PPN: PPN: 021212546
Holdings
Item type Home library Shelving location Call number Status Barcode
Magazinbestand ausleihbar Bibliothek Campus Süd Geschlossenes Magazin 74 A 310 Available 45604152090
Total holds: 0
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT