Suchergebnisse für "Roy Dyckhoff"
Redaktionelle Inhalte
Keine redaktionellen Inhalte für "Roy Dyckhoff" gefunden.
Katalogsuche
Extensions of Logic Programming
4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1,1993.Proceedings, Lecture Notes in Computer Science 798 - Lecture Notes in Artificial Intelligence
Roy Dyckhoff
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Extensions of Logic Programming
5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30,1996.Proceedings., Lecture Notes in Computer Science 1050 - Lecture Notes in Artificial Intelligence
Roy Dyckhoff/Heinrich Herre/Peter Schroeder-Heister
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7,2000 Proceedings, Lecture Notes in Computer Science 1847 - Lecture Notes in Artificial Intelligence
Roy Dyckhoff
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
