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: 1985

   Verlag:  Academic Press, Orlando [u.a.]

   • Bibliographische Angaben
   • Zugang
   • Export

   Bonn: Universitäts- und Landesbibliothek, Abteilungsbibliothek Medizin, Naturwissenschaften und Landbau

   Standort:

   Universitäts- und Landesbibliothek, Abteilungsbibliothek Medizin, Naturwissenschaften und Landbau

   Signatur:

   86/25513

   Fernleihe:

   Ausleihe von Bänden möglich, keine Kopien

   Link zum Verbundkatalog:

   Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

   Export in Literaturverwaltung

   RIS-Format   BibTeX-Format

   Quelle:	Verbundkataloge
   Beteiligt:	Char-Tung Lee, Richard (Verfasser)
   Sprache:	Unbestimmt
   Medientyp:	Buch (Monographie)
   ISBN:	0121703509
   RVK Klassifikation:	ES 930 ; SK 930 ; SK 130
   Auflage/Ausgabe:	6. [print.]
   Schriftenreihe:	Computer science and applied mathematics
   Schlagworte:	Nichtnumerisches Verfahren; LISP; Nichtnumerische Datenverarbeitung; Mathematische Logik; Optimierung; Beweistheorie
   Umfang:	XIII, 331 S., graph. Darst.