Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
Filtern nach
Aktive Filter
Letzte Suchanfragen

Ergebnisse für *

Es wurden 2 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 2 von 2.

Sortieren

  1. Knowledge based theorem proving and learning
    Autor*in: Cohen, Donald N.
    Erschienen: 1981
    Verlag:  UMI Research Press, Ann Arbor, Mich.

    Standort:
    Freie Universität Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Dissertation
    ISBN: 0835712028
    RVK Klassifikation: ES 900 ; ST 510
    Schriftenreihe: Computer science / Artificial intelligence ; 4
    Schlagworte: Dataprocessing; Kennistheorie; Leren; apprentissage; cognition; démonstration théorème; psychologie apprentissage; Datenverarbeitung; Erkenntnistheorie; Automatic theorem proving; Knowledge, Theory of; Learning, Psychology of
    Umfang: 202 S.
    Bemerkung(en):

    Zugl.: Carnegie, Univ., Diss., 1980
  2. Knowledge based theorem proving and learning
    Autor*in: Cohen, Donald N.
    Erschienen: 1981
    Verlag:  UMI Research Press, Ann Arbor, Mich.

    Standort:
    Universitätsbibliothek Eichstätt-Ingolstadt
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Bayerische Staatsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Technische Universität München, Universitätsbibliothek, Teilbibliotheken Garching
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Passau
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Dissertation
    ISBN: 0835712028
    RVK Klassifikation: ES 900 ; ST 510
    Schriftenreihe: Computer science / Artificial intelligence ; 4
    Schlagworte: Dataprocessing; Kennistheorie; Leren; apprentissage; cognition; démonstration théorème; psychologie apprentissage; Datenverarbeitung; Erkenntnistheorie; Automatic theorem proving; Knowledge, Theory of; Learning, Psychology of
    Umfang: 202 S.
    Bemerkung(en):

    Zugl.: Carnegie, Univ., Diss., 1980