Ein Konstanzer Prolog-Workshop.

Alexander Bockmayr Klaus Estenfeld Ulrich Furbach Claus Jäkel

Published in: Künstliche Intell. (1989)

Keyphrases

logic programming
knowledge representation
selected papers
prolog programs
expert systems
theorem proving
data structure
programming language
constraint logic programming
panel discussion
data sets
computer vision
multiscale
invited paper
logic programming language