借閱次數: 0
|
Automated reasoning with analytic tableaux and related methods 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021 : proceedings /
- 作者:edited by Anupam Das, Sara Negri.
- 出版者:Springer International Publishing : Imprint: Springer
- 出版地:Cham :
- 語文:英語
- 叢書名:Lecture notes in computer science, ; Lecture notes in artificial intelligence
- 電子資源:https://doi.org/10.1007/978-3-030-86059-2
- ISBN/ISSN/ISRC:9783030860592 ; 9783030860585
- 作者:Das, Anupam.;Negri, Sara.
- 索書號:511.36028563
|