Ergebnisse für *

Es wurden 1 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 1 von 1.

Sortieren

1. Knowledge based theorem proving and learning

   Autor*in: Cohen, Donald N.

   Erschienen: 1981

   Verlag:  UMI Research Press, Ann Arbor, Mich.

   • Bibliographische Angaben
   • Zugang
   • Export

   Kaiserslautern: Universitätsbibliothek Kaiserslautern

   Standort:

   Universitätsbibliothek Kaiserslautern

   Signatur:

   INF 864/028

   Link zum Verbundkatalog:

   Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

   Trier: Universitätsbibliothek Trier

   Standort:

   Universitätsbibliothek Trier

   Signatur:

   f281

   Link zum Verbundkatalog:

   Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

   Export in Literaturverwaltung

   RIS-Format   BibTeX-Format

   Quelle:	Verbundkataloge
   Sprache:	Unbestimmt
   Medientyp:	Dissertation
   ISBN:	0835712028
   RVK Klassifikation:	ST 510 ; ES 900
   Schriftenreihe:	Computer science : Artificial intelligence ; 4
   Umfang:	202 S.
   Bemerkung(en):	Teilw. zugl.: Carnegie-Mellon Univ., Diss., 1980