ID:DA1314067X
International Joint Conference on Automated Reasoning
International Joint Conference, IJCAR
同姓同名の著者を検索
Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt, editors
Springer c2024 Lecture notes in computer science 14740 . Lecture notes in artificial intelligence
所蔵館1館
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
所蔵館12館
David Basin, Michaël Rusinowitch(eds.)
Springer c2004 Lecture notes in computer science 3097 . Lecture notes in artificial intelligence
所蔵館19館
Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.)
Springer c2001 Lecture notes in computer science 2083 . Lecture notes in artificial intelligence
所蔵館35館