Ihre Suche erzielte 10 Treffer.

Ergebnisse
	1.	Bidirectional reasoning of horn clause programs transformation and compilation Knut Hinkelmann von Hinkelmann, Knut [aut] Reihen: ; 91,2 \| Deutsches Forschungszentrum für Künstliche Intelligenz Technical memo / Deutsches Forschungszentrum für Künstliche Intelligenz ; 91,2 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Kaiserslautern [u.a.] 1991 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Saarbrücken DFKI TM-91-02. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Forward logic evaluation developing a compiler from a partially evaluated meta interpreter Knut Hinkelmann von Hinkelmann, Knut [aut] Reihen: ; 91,13 \| Deutsches Forschungszentrum für Künstliche Intelligenz Technical memo / Deutsches Forschungszentrum für Künstliche Intelligenz ; 199113 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Kaiserslautern DFKI 1991 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Saarbrücken DFKI TM-91-13. Vormerken Zum Korb hinzufügen (Entfernen)
	3.	SASLOG lazy evaluation meets backtracking Knut Hinkelmann; Klaus Noekel; Robert Rehbold von Hinkelmann, Knut [aut] Nökel, Klaus [aut] Rehbold, Robert [aut] Universität Kaiserslautern SEKI-Projekt [oth] Reihen: ; 88,1 \| SEKI-Report ; 88,1 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Kaiserslautern Fachbereich Informatik, Univ. Kaiserslautern 1988 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) SEKI SR-1988-01. Vormerken Zum Korb hinzufügen (Entfernen)
	4.	Fifth Conference Professional Knowledge Management - Experiences and Visions March 25 - 27, 2009 in Solothurn, Switzerland Knut Hinkelmann; Holger Wache (eds.) von WM Institut für Wirtschaftsinformatik, Basel 5 2009 Solothurn [aut] Hinkelmann, Knut [Hrsg.] Wache, Holger [oth] Reihen: ; 14500 \| Gesellschaft für Informatik GI-Edition / Proceedings ; 145 \| Materialtyp: Text; Format: Druck Sprache: Deutsch, Englisch Verlag: Bonn Ges. für Informatik 2009 Weitere Titel: WM2009 5th WM 2009 WM2009 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNI P-145. Vormerken Zum Korb hinzufügen (Entfernen)
	5.	Computing cost estimates for proof strategies Knut Hinkelmann; Helge Hintze. [Deutsches Forschungszentrum für Künstliche Intelligenz GmbH] von Hinkelmann, Knut [aut] Hintze, Helge [aut] Reihen: ; 199410 \| Deutsches Forschungszentrum für Künstliche Intelligenz Research report / German Research Center for Artificial Intelligence (DFKI) GmbH ; 199410 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Kaiserslautern Saarbrücken DFKI 1994 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Saarbrücken DFKI RR-94-10. Vormerken Zum Korb hinzufügen (Entfernen)
	6.	A consequence finding approach for feature recognition in CAPP Knut Hinkelmann. [Deutsches Forschungszentrum für Künstliche Intelligenz GmbH] von Hinkelmann, Knut [aut] Reihen: ; 94,11 \| Deutsches Forschungszentrum für Künstliche Intelligenz Research report / German Research Center for Artificial Intelligence (DFKI) GmbH ; 199411 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Kaiserslautern Saarbrücken DFKI 1994 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Saarbrücken DFKI RR-94-11. Vormerken Zum Korb hinzufügen (Entfernen)
	7.	Combining terminological and rule-based reasoning for abstraction processes Philipp Hanschke; Knut Hinkelmann von Hanschke, Philipp [aut] Hinkelmann, Knut [aut] Reihen: ; 92,40 \| Deutsches Forschungszentrum für Künstliche Intelligenz Research report / German Research Center for Artificial Intelligence (DFKI) GmbH ; 199240 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Kaiserslautern DFKI 1992 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Saarbrücken DFKI RR-92-40. Vormerken Zum Korb hinzufügen (Entfernen)
	8.	Integrating bottom-up and top-down reasoning in COLAB Martin Harm; Knut Hinkelmann; Thomas Labisch von Harm, Martin [aut] Hinkelmann, Knut [aut] Labisch, Thomas [aut] Reihen: ; 92,27 \| Deutsches Forschungszentrum für Künstliche Intelligenz Document / Deutsches Forschungszentrum für Künstliche Intelligenz ; 92,27 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Kaiserslautern [u.a.] 1992 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Saarbrücken DFKI Document D-92-27. Vormerken Zum Korb hinzufügen (Entfernen)
	9.	Uebersetzung von LISPLOG-Programmen nach CPROLOG KNut Hinkelmann von Hinkelmann, Knut [VerfasserIn] Reihen: ; 1986,5 \| SEKI working paper ; 1986,5 Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Kaiserslautern Fachbereich Informatik, Universität 1986 Weitere Titel: Übersetzung von LISPLOG-Programmen nach CPROLOG Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) SEKI SWP-1986-05. Vormerken Zum Korb hinzufügen (Entfernen)
	10.	SASLOG eine funktional-logische Sprachintegration mit Lazy Evaluation und semantischer Unifikation Knut Hinkelmann von Hinkelmann, Knut [VerfasserIn] Reihen: ; 198806 \| SEKI working paper ; 1988,6 Materialtyp: Text; Format: Druck Sprache: Deutsch, Englisch Verlag: Kaiserslautern Univ., FB Informatik 1988 Hochschulschriftenvermerk: Kaiserslautern, Univ., FB Informatik, Diplomarb. Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) SEKI SWP-1988-06. Vormerken Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha