Ergebnisse für *

Es wurden 1 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 1 von 1.

Sortieren

1. Logic for computer science

   foundations of automatic theorem proving
   Autor*in: Gallier, Jean H.

   Erschienen: 1987

   Verlag:  Wiley, New York ; Chichester ; Brisbane ; Toronto ; Singapore

   • Bibliographische Angaben
   • Zugang
   • Export

   Brandenburg: Technische Hochschule Brandenburg, Hochschulbibliothek

   Standort:

   Technische Hochschule Brandenburg, Hochschulbibliothek

   Fernleihe:

   uneingeschränkte Fernleihe, Kopie und Ausleihe

   Link zum Verbundkatalog:

   Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

   Export in Literaturverwaltung

   RIS-Format   BibTeX-Format

   Quelle:	Verbundkataloge
   Sprache:	Unbestimmt
   Medientyp:	Buch (Monographie)
   ISBN:	0471615463
   RVK Klassifikation:	ST 130 ; ST 304 ; SK 130 ; ES 900
   Schlagworte:	Mathematische Logik; Automatisches Beweisverfahren
   Umfang:	XV, 511 S., graph. Darst.