Year of publication
Type of material
Licence
TIB reading rooms collection
LUH institutes collection
21–40 of 3,740 hits
Sort by:
Sort by:
-
P-rho-Log: Combining Logic Programming with Conditional Transformation Systems
Free accessDataCite | 2016|Keywords: Prolog -
Logik und Logikprogrammierung / Steffen Hölldobler ... ; Bd. 2: Aufgaben und Lösungen
TIBKAT | 2011|Keywords: P-PROLOG -
Spatial reasoning about multimedia document for a profile based adaptation
Online Contents | 2018|Keywords: PROLOG -
Advanced Prolog : techniques and examples
TIBKAT | 1989|Keywords: PROLOG (Programmiersprache), Prolog (Programming language), Computer systems. Programming languages: Prolog, Prolog, Prolog (Computer program language) -
Einführung in die logische Programmierung mit PROLOG
TIBKAT | 1988|Keywords: PROLOG (Programmiersprache), Prolog (Programming language), PROLOG, Prolog -
Programming in Prolog
TIBKAT | 1984|Keywords: PROLOG (Programmiersprache), Prolog, Prolog (Computer program language) -
Programmieren in PROLOG : eine umfassende und praxisgerechte Einführung
TIBKAT | 1991|Keywords: PROLOG (Programmiersprache), Prolog (Programming language) -
Programmieren in PROLOG : eine umfassende und praxisgerechte Einführung
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 1991|Keywords: PROLOG (Programmiersprache), Prolog (Programming language) -
Autotest: An educational software application to support teachers in creating tests
Wiley | 2013|Keywords: Prolog -
Multi‐dimensional lock‐free arrays for multithreaded mode‐directed tabling in Prolog
Wiley | 2019|Keywords: prolog -
Prolog-Werkzeugkasten : für Turbo-Prolog und PDC-Prolog
TIBKAT | 1991|Keywords: PDC-PROLOG, Prolog (Programming language), TURBO-PROLOG -
Prolog : eine Einführung mit Übungen in Turbo und PDC-Prolog
TIBKAT | 1994|Keywords: PDC-PROLOG, TURBO-PROLOG -
TURBO-PROLOG : Abbild menschlicherstrategien
TIBKAT | 1987|Keywords: PROLOG (Programmiersprache), TURBO-PROLOG -
Automated complexity analysis for prolog by term term rewriting
Free accessTIBKAT | 2012|Keywords: PROLOG (Programmiersprache) -
Declarative Rules for Annotated Expert Knowledge in Change Management
Free accessDataCite | 2016|Keywords: prolog -
Towards an Automated Test Bench Environment for Prolog Systems
Free accessDataCite | 2017|Keywords: Prolog -
Logic programming with Prolog
TIBKAT | 2005|Keywords: PROLOG (Programmiersprache), Prolog (Computer program language) -
Spatial reasoning about multimedia document for a profile based adaptation
Online Contents | 2018|Keywords: PROLOG
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.