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

Ergebnisse für *

Es wurden 4 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 4 von 4.

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
  3. Knowledge based theorem proving and learning
    Autor*in: Cohen, Donald N.
    Erschienen: 1981
    Verlag:  UMI Research Press, Ann Arbor, Mich.

    Standort:
    Universitätsbibliothek Kaiserslautern
    Signatur:
    INF 864/028
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    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
  4. Knowledge-based theorem proving and learning
    Autor*in: Cohen, Donald N.
    Erschienen: c 1981
    Verlag:  UMI Research Press, Ann Arbor, Mich.

    Standort:
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    Signatur:
    Ser. 32133-4
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    RN 9391(4)
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    KIT-Bibliothek, Bibliothek der Fakultät für Informatik
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Bibliotheks-und Informationssystem der Carl von Ossietzky Universität Oldenburg (BIS)
    Signatur:
    inf 823 AX 2580
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Osnabrück
    Signatur:
    TVS / Coh
    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
    Format: Druck
    ISBN: 0835712028
    RVK Klassifikation: ES 900 ; ST 510
    Schriftenreihe: Array ; 4
    Umfang: 202 S.
    Bemerkung(en):

    Teilw. zugl.: Pittsburgh, Pa., Carnegie-Mellon Univ., Ph.D. thesis 1980