Benutzerdefiniertes Cover
Benutzerdefiniertes Cover
Normale Ansicht MARC-Ansicht ISBD

Principles of automated theorem proving / David A. Duffy

Von: Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Wiley professional computingVerlag: Chichester [u.a.] : Wiley, 1991Beschreibung: XVIII, 243 SISBN:
  • 0471927848
Schlagwörter: MSC: MSC: *68-01 | 68T15RVK: RVK: SK 130 | ST 304 | ST 130LOC-Klassifikation:
  • QA76.9.A96
Bearbeitungsvermerk:
  • 3
Call number: Grundsignatur: 91 A 4012PPN: PPN: 025883860
Exemplare
Medientyp Heimatbibliothek Standort Signatur Status Barcode
Magazinbestand ausleihbar Bibliothek Campus Süd Geschlossenes Magazin 91 A 4012 Verfügbar 45810541090
Anzahl Vormerkungen: 0

Archivierung prüfen 20221111 DE-640 3 pdager