ID:DA1314067X
International Joint Conference on Automated Reasoning
International Joint Conference, IJCAR
Search authors sharing the same name
Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt, editors
Springer c2024 Lecture notes in computer science 14740 . Lecture notes in artificial intelligence
Available at 1 libraries
Springer c2024 Lecture notes in computer science 14739 . Lecture notes in artificial intelligence
ed. Ulrich Furbach, Natarajan Shankar
Springer c2006 Lecture notes in computer science 4130 . Lecture Notes in Artificial Intelligence
Available at 12 libraries
David Basin, Michaël Rusinowitch(eds.)
Springer c2004 Lecture notes in computer science 3097 . Lecture notes in artificial intelligence
Available at 19 libraries
Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.)
Springer c2001 Lecture notes in computer science 2083 . Lecture notes in artificial intelligence
Available at 35 libraries