Roy Dyckhoff
Automated Reasoning With Analytic Tableaux And Related Methods
International Conference, Tableaux 2000, St Andrews, Scotland, Uk, July 3-7, 2000 Proceedings
Editor: Roy Dyckhoff
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2000
Paperback, 451 pages
Extensions Of Logic Programming
5Th International Workshop, Elp '96, Leipzig, Germany, March 28-30, 1996 - Proceedings
Editor: Roy Dyckhoff
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 1996
Paperback, 326 pages
Extensions Of Logic Programming
4Th International Workshop, Elp '93, St.Andrews, U.K., March 29-April 1, 1993 - Proceedings
Editor: Roy Dyckhoff
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 1994
Paperback, 368 pages



