ID:DA12838696
International Conference, Diagrams
International Conference on the Theory and Application of Diagrams
同姓同名の著者を検索
Peter Chapman ... [et al.] (eds.)
Springer c2018 Lecture notes in computer science 10871 . Lecture notes in artificial intelligence . LNCS sublibrary ; SL 7 . Artificial intelligence
所蔵館1館
Mateja Jamnik, Yuri Uesaka, Stephanie Elzer Schwartz (eds.)
Springer c2016 Lecture notes in computer science . Lecture notes in artificial intelligence . LNCS sublibrary ; SL 7 . Artificial intelligence ; 9781 , Lecture notes in artificial intelligence 9781
Dave Barker-Plummer, Richard Cox, Nik Swoboda (eds.)
Springer c2006 Lecture notes in computer science 4045 . Lecture notes in artificial intelligence
所蔵館7館
Alan Blackwell, Kim Marriott, Atsushi Shimojima (eds.)
Springer c2004 Lecture notes in computer science 2980 . Lecture notes in artificial intelligence
所蔵館18館
Mary Hegarty, Bernd Meyer, N. Hari Narayanan (eds.)
Springer c2002 Lecture notes in computer science 2317 . Lecture notes in artificial intelligence
所蔵館28館
Michael Anderson, Peter Cheng, Volker Haarslev (eds.)
Springer c2000 Lecture notes in computer science 1889 . Lecture notes in artificial intelligence
所蔵館30館