Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten 24. Dezember 2025 bis 1. Januar 2026: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. // 24 December 2025 to 1 January 2026: The German National Library will be closed at both locations.
 
 
 


Ergebnis der Suche nach: tit all "Inductive Programming"
im Bestand: Gesamter Bestand

31 - 40 von 86
<< < > >>


Online Ressourcen 31 An Inductive Approach for Modal Transition System Refinement
Alrajeh, Dalal. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
Online Ressource
Online Ressourcen 32 Inductive Logic Programming
Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Online Ressource
Online Ressourcen 33 Approaches and Applications of Inductive Programming
Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
Online Ressource
Online Ressourcen 34 Inducing Domain Theories
Liakata, Maria. - Saarbrücken : VDM Verlag Dr. Müller, 2010
Online Ressource
Online Ressourcen 35 Inductive Logic Programming
Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
Online Ressource
Online Ressourcen 36 Inductive Logic Programming as Abductive Search
Corapi, Domenico. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
Online Ressource
Online Ressourcen 37 Inductive Temporal Logic Programming
Kolter, Robert. - Saarbrücken : Suedwestdeutscher Verlag fuer Hochschulschriften, 2010, neue Ausg.
Online Ressource
Online Ressourcen 38 Schema-guided inductive functional programming through automatic detection of type morphisms
Hofmann, Martin, 2010, [Online-Ausg.]
Online Ressource
Online Ressourcen 39 Inductive temporal logic programming
Kolter, Robert, 2009, [Online-Ausg.]
Online Ressource
Online Ressourcen 40 Proceedings of the ACM SIGPLAN Workshop on Approaches and Applications of Inductive Programming (AAIP 2009)
Bamberg : Otto-Friedrich-Universität Bamberg, 2009
Online Ressource


31 - 40 von 86
<< < > >>




Materialarten

Alle MaterialartenOnline Ressourcen (86)

Kataloge/Sammlungen

Alle Kataloge/Sammlungen

Standorte

Alle StandorteFrankfurt (86)

E-Mail-IconAdministration