Eruditor.com > Roy Dyckhoff

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

Usually ships within 1 week.

Will be shipped from: United Kingdom
 Add to Shopping Basket 

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

Usually ships within 1 week.

Will be shipped from: United Kingdom
 Add to Shopping Basket 

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

Usually ships within 1 week.

Will be shipped from: United Kingdom
 Add to Shopping Basket 
© 2006-2009 Eruditor Ltd and its partners

Search

Whole catalogue
Pharmacy / dispensing

Advanced Search

Browse

Authors’ Name Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Share |