Ergebnisse für *

Es wurden 1 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 1 von 1.

Sortieren

1. Study of automatic theorem-proving programs

   Autor*in:

   Erschienen: 1972

   Verlag:  Artificial Intelligence Center, Stanford Research Institute, Menlo Park, Cal

   • Bibliographische Angaben
   • Zugang
   • Export

   Mannheim: Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek

   Standort:

   Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek

   Fernleihe:

   keine Fernleihe

   Link zum Verbundkatalog:

   Südwestdeutscher Bibliotheksverbund (SWB)

   Export in Literaturverwaltung

   RIS-Format   BibTeX-Format

   Quelle:	Leibniz-Institut für Deutsche Sprache, Bibliothek
   Beteiligt:	Reboh, René
   Sprache:	Englisch
   Medientyp:	Buch (Monographie)
   Format:	Druck
   Schriftenreihe:	Technical note ; 75
   Schlagworte:	Automatic theorem proving
   Umfang:	IX, 144 S., 28 cm