Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Prinzipien der künstlichen Intelligenz : Wissensrepräsentation, Inferenz und Expertensysteme ; mit zahlreichen Aufgaben
Leitfäden und Monographien der Informatik
1989
Signatur: TVU2306
    Datensatz exportieren als...
  • BibTeX
Logikkalküle
Leitfäden der angewandten Mathematik und Mechanik : 43 (Alle Bände), Teubner Studienbücher : Informatik
1. Aufl, 1978
Signatur: TVD1509
    Datensatz exportieren als...
  • BibTeX
Computation and proof theory
Proceedings of the Logic Colloquium : 2 (Alle Bände), Lecture notes in mathematics : 1104 (Alle Bände)
1984
Signatur: TAY830240-2
    Datensatz exportieren als...
  • BibTeX
Interdisziplinäre Informatik : neue Möglichkeiten und Probleme für die Darstellung und Integration komplexer Strukturen in verschiedenen Feldern der Neurologie
Freiburger Universitätsblätter : 153 (Alle Bände)
2001
Signatur: 01f6
    Datensatz exportieren als...
  • BibTeX
Ideale Punkte, Monaden und Nichtstandard-Methoden
1st ed. 1982, 1982
    Datensatz exportieren als...
  • BibTeX
Models and Sets : Proceedings of the Logic Colloquium held in Aachen, July 18т23, 1983 Part I
Lecture Notes in Mathematics : 1103
1984
    Datensatz exportieren als...
  • BibTeX
Case-Based Reasoning Research and Development : 7th International Conference on Case-Based Reasoning, ICCBR 2007 Belfast, Northern Ireland, UK, August 13-16, 2007 Proceedings [Elektronische Ressource]
2007
    Datensatz exportieren als...
  • BibTeX
Case-Based Reasoning : A Textbook [Elektronische Ressource]
2013
    Datensatz exportieren als...
  • BibTeX
Systems of Reductions [electronic resource]
1st ed. 1987, 1987
    Datensatz exportieren als...
  • BibTeX
Information Systems and Data Analysis : Prospects — Foundations — Applications [Elektronische Ressource]
Studies in Classification, Data Analysis, and Knowledge Organization
1994
    Datensatz exportieren als...
  • BibTeX
Künstliche Intelligenz : Theoretische Grundlagen und Anwendungsfelder Frühjahrsschulen, Dassel, 8.–16. März 1985 und 8.–16.März 1986
Subreihe Künstliche Intelligenz, In Zusammenarbeit mit dem Fachbereich 1 "Künstliche Intelligenz" der GI : 159
1st ed. 1988, 1988
    Datensatz exportieren als...
  • BibTeX
CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings [electronic resource]
1st ed. 1988, 1988
    Datensatz exportieren als...
  • BibTeX
Signal Processing and Machine Learning with Applications
1st ed. 2022, 2022
    Datensatz exportieren als...
  • BibTeX
Processing Declarative Knowledge : International Workshop PDK '91, Kaiserslautern, Germany, July 1-3, 1991. Proceedings [electronic resource]
1st ed. 1991, 1991
    Datensatz exportieren als...
  • BibTeX
Algorithmic Learning Theory : 9th International Conference, ALT’98 Otzenhausen, Germany, October 8–10, 1998 Proceedings [Elektronische Ressource]
1998
    Datensatz exportieren als...
  • BibTeX
Computation and Proof Theory : Proceedings of the Logic Colloquium held in Aachen, July 18т23, 1983 Part II
Lecture Notes in Mathematics : 1104
1984
    Datensatz exportieren als...
  • BibTeX
Diagnose von technischen Systemen : Grundlagen, Methoden und Perspektiven der Fehlerdiagnose
DUV: Datenverarbeitung
1993
1 – 17 von 17
Suche als RSS-Feed
Aktive Filter
Autor / AutorinRichter, Michael M
Suchergebnisse filtern
Filter anzeigen