ID:DA09345260
Workshop on Theorem Proving with Analytic Tableaux and Related Methods
International Conference on Analytic Tableaux and Related Methods
International Conference, TABLEAUX
同姓同名の著者を検索
Kai Brünnler, George Metcalfe (eds.)
Springer c2011 Lecture notes in computer science 6793 . Lecture notes in artificial intelligence
所蔵館1館
Nicola Olivetti (ed.)
Springer c2007 Lecture notes in computer science 4548 . Lecture notes in artificial intelligence
所蔵館6館
Bernhard Beckert (ed.)
Springer c2005 Lecture notes in computer science 3702 . Lecture notes in artificial intelligence
所蔵館10館
Marta Cialdea Mayer, Fiora Pirri (eds.)
Springer c2003 Lecture notes in computer science 2796 . Lecture notes in artificial intelligence
所蔵館23館
Uwe Egly, Christian G. Fermüller (eds.)
Springer c2002 Lecture notes in computer science 2381 . Lecture notes in artificial intelligence
所蔵館27館
Roy Dyckhoff (ed.)
Springer c2000 Lecture notes in computer science 1847 . Lecture notes in artificial intelligence
所蔵館37館
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
所蔵館41館
Didier Galmiche (ed.)
Springer c1997 Lecture notes in computer science 1227 . Lecture notes in artificial intelligence
: kart
所蔵館48館
P. Miglioli ... [et al.], (eds.)
Springer c1996 Lecture notes in computer science 1071 . Lecture notes in artificial intelligence
所蔵館56館
Peter Baumgartner, Reiner Hähnle, Joachim Posegga (eds.)
Springer Verlag c1995 Lecture notes in computer science 918 . Lecture notes in artificial intelligence
所蔵館54館