0
首頁
0
熱門排行
0
個人書房
借閱次數:
0
Automated reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022 : proceedings /
作者:edited by Jasmin Blanchette, Laura Kovacs, Dirk Pattinson.
出版者:Springer International Publishing : Imprint: Springer
出版地:Cham :
語文:英語
叢書名:Lecture notes in computer science, ; Lecture notes in artificial intelligence
電子資源:
https://doi.org/10.1007/978-3-031-10769-6
ISBN/ISSN/ISRC:9783031107696 ; 9783031107689
作者:
Blanchette, Jasmin.
;
Kovacs, Laura.
;
Pattinson, Dirk.
索書號:511.36028563
館藏
簡介
作者簡介
書架附近的資料
借這本書的人也借過下面這些書