Annals of Mathematics and Artificial Intelligence, Volume 17

Volume 17, Numbers 1-2, 1996

Reasoning about Functional Models

Volume 17, Numbers 3-4, 1996

a service of Schloss Dagstuhl - Leibniz Center for Informatics