Zum Inhalt springen

Clocksin, William F. [Verfasser:in]; Mellish, Christopher S. [Verfasser:in]

Programming in Prolog - [2. ed.]

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1984
Bothe, Klaus [Verfasser:in] ; Stojanov, Stanimir [Sonstige Person, Familie und Körperschaft]

Praktische Prolog-Programmierung - [1. Aufl.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin: Verl. Technik, 1991

Erschienen in: Praktische Informatik
Weisweber, Wilhelm [Verfasser:in]

Prolog : logische Programmierung in der Praxis - [1. Auflage]

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Bonn; Albany; Belmont: An Internatiional Thomson Publishing, 1997

Erschienen in: Informatik-Lehrbuch-Reihe
Posthoff, Christian [Verfasser:in] ; Schubert, Sigrid [Sonstige Person, Familie und Körperschaft]; Rätz, Detlef [Sonstige Person, Familie und Körperschaft]

Einführung in die Programmierung mit Prolog

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Karl-Marx-Stadt: Techn. Univ., 1989 [erschienen] 1990

Erschienen in: Technische Universität Karl-Marx-Stadt: Wissenschaftliche Schriftenreihe der Technischen Universität Karl-Marx-Stadt ; 1990,1
Zarrieß, Benjamin [Verfasser:in] ; Baader, Franz [Akademische:r Betreuer:in]; Sardina, Sebastian [Akademische:r Betreuer:in] Technische Universität Dresden

Verification of Golog programs over description logic actions

Online ansehen
Schließen

Zugang

... zum E-Book via Resolving-System

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dresden, 2. November 2017
Goltz, Hans-Joachim [Verfasser:in]; Herre, Heinrich [Verfasser:in]

Grundlagen der logischen Programmierung

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin: Akad.-Verl., 1990

Erschienen in: Informatik, Kybernetik, Rechentechnik ; 34
Agafonov, Valerij N. [Sonstige Person, Familie und Körperschaft]; Agafonov, V. N. [Bearbeiter:in]

Logičeskoe programmirovanie : sbornik statej

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Moskva: Izd. Mir, 1988

Erschienen in: Matematičeskie obespečenie EVM
Miller, Dale [Verfasser:in]; Nadathur, Gopalan [Verfasser:in]

Programming with higher-order logic - [1. publ.]

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge [u.a.]: Cambridge University Press, 2012
Clocksin, William F. [Verfasser:in]

Clause and effect : Prolog programming for the working programmer

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1997
Lloyd, John W. [Verfasser:in]; Lloyd, John Wylie [Verfasser:in]

Foundations of logic programming - [2., extended ed., 1. corr. print.]

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1993

Erschienen in: Artificial intelligence
Deransart, Pierre [Verfasser:in]; Małuszyński, Jan [Verfasser:in]

A grammatical view of logic programming

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge, Mass. [u.a.]: The MIT Pr., 1993

Erschienen in: Logic programming
Schmitt, Peter H. [Verfasser:in]

Theorie der logischen Programmierung : eine elementare Einführung

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1992

Erschienen in: Springer-Lehrbuch
Hogger, Christopher J. [Verfasser:in]

Essentials of logic programming

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oxford: Clarendon Press, 1990

Erschienen in: Graduate texts in computer science ; 1
Fuchs, Norbert E. [Verfasser:in]

Kurs in Logischer Programmierung

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Wien [u.a.]: Springer, 1990

Erschienen in: Springers angewandte Informatik
Nilsson, Ulf [Verfasser:in]; Małuszyński, Jan [Verfasser:in]

Logic, programming and Prolog

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Chichester [u.a.]: Wiley, 1990
Belli, Fevzi [Verfasser:in]

Einführung in die logische Programmierung mit PROLOG - [2., überarb. und erw. Aufl]

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Mannheim [u.a.]: BI-Wissenschaftsverl., 1988

Erschienen in: BI-Hochschultaschenbücher ; 630.1988
Sterling, Leon S. [Verfasser:in]; Shapiro, Ehud Y. [Verfasser:in]

Prolog : fortgeschrittene Programmiertechniken = The art of prolog

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Bonn; Reading, Massachusetts; Menlo Park, California: Addison-Wesley, 1988

Erschienen in: Reihe künstliche Intelligenz
DeGroot, Doug [Sonstige Person, Familie und Körperschaft]; Lindstrom, Gary [Sonstige Person, Familie und Körperschaft]

Logic programming : functions, relations, and equations

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Englewood Cliffs, NJ: Prentice-Hall, 1986
Hölldobler, Steffen [Sonstige Person, Familie und Körperschaft]

Logik und Logikprogrammierung - [Neuausg.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Heidelberg: Synchron, 20XX-

Erschienen in: Kolleg Synchron
Neumann, Gustaf [Verfasser:in]

Metaprogrammierung und Prolog

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Bonn [u.a.]: Addison-Wesley, 1988

Erschienen in: Internationale Computer-Bibliothek

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr