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
Ausgezeichnete Informatikdissertationen. 2021
Ausgezeichnete Informatikdissertationen (Alle Bände), GI-Edition. Dissertations : 22 (Alle Bände)
[2022]
Signatur: TUF1107-2021
    Datensatz exportieren als...
  • BibTeX
Deduction : automated logic
1993
Signatur: HLH2729
    Datensatz exportieren als...
  • BibTeX
Foundations of Equational Logic Programming [Elektronische Ressource]
1989
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Intellectics and Computational Logic : Papers in Honor of Wolfgang Bibel [Elektronische Ressource]
Applied Logic Series : 19
2000
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
KI-96: Advances in Artificial Intelligence : 20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17–19, 1996 Proceedings [Elektronische Ressource]
1996
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
Deduktion : Automatisierung der Logik
Reprint 2020, [2020]
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
KI 2015: Advances in Artificial Intelligence : 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings
1st ed. 2015, 2015
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Logics in Artificial Intelligence : 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings [Elektronische Ressource]
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
KI-96: Advances in Artificial Intelligence : 20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17 - 19, 1996, Proceedings [electronic resource]
1st ed. 1996, 1996
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Ausgezeichnete Informatikdissertationen 1999
GI-Dissertationspreis
1st ed. 2000, 2000
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Ausgezeichnete Informatikdissertationen 1999 [electronic resource]
1st ed. 2000, 2000
Volltextzugriff (PDF)
1 – 12 von 12
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen