Annals of Mathematics and Artificial Intelligence, Volume 19

Volume 19, Numbers 1-2, 1997

Non-determinism in Deductive Databases

Volume 19, Numbers 3-4, 1997

Symbolic Mathematics and AI
a service of Schloss Dagstuhl - Leibniz Center for Informatics