Ergebnisse für *

Es wurden 1 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 1 von 1.

Sortieren

1. Symbolic logic and mechanical theorem proving

   Autor*in: Chang, Chin-Liang

   Erschienen: 1979

   Verlag:  Acad. Press, New York

   • Bibliographische Angaben
   • Zugang
   • Export

   Eichstätt: Universitätsbibliothek Eichstätt-Ingolstadt

   Standort:

   Universitätsbibliothek Eichstätt-Ingolstadt

   Fernleihe:

   uneingeschränkte Fernleihe, Kopie und Ausleihe

   Link zum Verbundkatalog:

   Bibliotheksverbund Bayern (BVB)

   Export in Literaturverwaltung

   RIS-Format   BibTeX-Format

   Quelle:	Verbundkataloge
   Beteiligt:	Lee, Richard C. (Verfasser)
   Sprache:	Englisch
   Medientyp:	Buch (Monographie)
   ISBN:	0121703509
   RVK Klassifikation:	ES 930
   Auflage/Ausgabe:	3. print.
   Schriftenreihe:	Computer science and applied mathematics
   Schlagworte:	Beweistheorie; Mathematische Logik; Nichtnumerisches Verfahren; Optimierung; Nichtnumerische Datenverarbeitung; LISP
   Umfang:	XIII,331 S.