ID:DA09345260
Workshop on Theorem Proving with Analytic Tableaux and Related Methods
International Conference on Analytic Tableaux and Related Methods
International Conference, TABLEAUX
Search authors sharing the same name
Kai Brünnler, George Metcalfe (eds.)
Springer c2011 Lecture notes in computer science 6793 . Lecture notes in artificial intelligence
Available at 1 libraries
Nicola Olivetti (ed.)
Springer c2007 Lecture notes in computer science 4548 . Lecture notes in artificial intelligence
Available at 6 libraries
Bernhard Beckert (ed.)
Springer c2005 Lecture notes in computer science 3702 . Lecture notes in artificial intelligence
Available at 10 libraries
Marta Cialdea Mayer, Fiora Pirri (eds.)
Springer c2003 Lecture notes in computer science 2796 . Lecture notes in artificial intelligence
Available at 23 libraries
Uwe Egly, Christian G. Fermüller (eds.)
Springer c2002 Lecture notes in computer science 2381 . Lecture notes in artificial intelligence
Available at 27 libraries
Roy Dyckhoff (ed.)
Springer c2000 Lecture notes in computer science 1847 . Lecture notes in artificial intelligence
Available at 37 libraries
Neil V. Murray (ed.)
Springer c1999 Lecture notes in computer science 1617 . Lecture notes in artificial intelligence
Harrie de Swart (ed.)
Springer c1998 Lecture notes in computer science 1397 . Lecture notes in artificial intelligence
Available at 41 libraries
Didier Galmiche (ed.)
Springer c1997 Lecture notes in computer science 1227 . Lecture notes in artificial intelligence
: kart
Available at 48 libraries
P. Miglioli ... [et al.], (eds.)
Springer c1996 Lecture notes in computer science 1071 . Lecture notes in artificial intelligence
Available at 56 libraries
Peter Baumgartner, Reiner Hähnle, Joachim Posegga (eds.)
Springer Verlag c1995 Lecture notes in computer science 918 . Lecture notes in artificial intelligence
Available at 54 libraries