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
Automated Theorem Proving
1st ed. 1982, 1982
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Lehren vom Leben : Essays über Mensch und Gesellschaft
Sozialwissenschaft
2003
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Fundamentals of Artificial Intelligence : An Advanced Course [Elektronische Ressource]
1986
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Künstliche Intelligenz : Frühjahrsschule Teisendorf, 15.–24. März 1982
Subreihe Künstliche Intelligenz, In Zusammenarbeit mit dem Fachbereich 1 "Künstliche Intelligenz" der GI : 59
1st ed. 1982, 1982
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Mathematical Methods of Specification and Synthesis of Software Systems '85 : Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22–26, 1985 [Elektronische Ressource]
1986
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 [Elektronische Ressource]
1980
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Automated Deduction — A Basis for Applications : Volume II: Systems and Implementation Techniques [Elektronische Ressource]
Applied Logic Series : 9
1998
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Automated Deduction — A Basis for Applications : Volume III Applications [Elektronische Ressource]
Applied Logic Series : 10
1998
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Deduktion : Automatisierung der Logik
Reprint 2020, [2020]
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Wissensrepräsentation und Inferenz : Eine grundlegende Einführung
Computational Intelligence
1st ed. 1993, 1993
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Studien- und Forschungsführer Künstliche Intelligenz
1st ed. 1987, 1987
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Ausgezeichnete Informatikdissertationen 1996 : Im Auftrag der Gl herausgegeben durch den Nominierungsausschuß
GI-Dissertationspreis
1st ed. 1998, 1998
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Artificial Intelligence — Eine Einführung
2nd ed. 1986, 1986
Volltextzugriff (PDF)
1 – 13 von 13
Suche als RSS-Feed
Aktive Filter
Autor / AutorinLuther, Martin
Art des MediumsGedruckt
Autor / AutorinBibel, Wolfgang
Suchergebnisse filtern
Filter anzeigen