Benutzerdefiniertes Cover
Benutzerdefiniertes Cover
Normale Ansicht MARC-Ansicht ISBD

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

Von: Mitwirkende(r): Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Computer science classicsVerlag: San Diego [u.a.] : Academic Press, 1973Beschreibung: XIII, 331 S. : graph. DarstISBN:
  • 0121703509
Schlagwörter: DDC-Klassifikation:
  • 511/.3
  • 511.3
RVK: RVK: ST 304LOC-Klassifikation:
  • QA9
Call number: Grundsignatur: 74 A 310PPN: PPN: 021212546
Exemplare
Medientyp Heimatbibliothek Standort Signatur Status Barcode
Magazinbestand ausleihbar Bibliothek Campus Süd Geschlossenes Magazin 74 A 310 Verfügbar 45604152090
Anzahl Vormerkungen: 0