封面圖片

Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /

Show other versions (2)

This is an open access book. It is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Saved in:

書目詳細資料
企業作者:	SpringerLink (Online service)
其他作者:	Blanchette, Jasmin (Editor), Kovács, Laura (Editor), Pattinson, Dirk (Editor)
格式:	電子電子書
語言:	英语
出版:	Cham : Springer International Publishing : Imprint: Springer, 2022.
版:	1st ed. 2022.
叢編:	Lecture Notes in Artificial Intelligence, 13385
主題:	Machine theory. Software engineering. Computer engineering. Computer networks . Artificial intelligence. Computer science. Formal Languages and Automata Theory. Software Engineering. Computer Engineering and Networks. Artificial Intelligence. Computer Science Logic and Foundations of Programming.
在線閱讀:	Link to Metadata
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

實物特徵
總結:	This is an open access book. It is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
實物描述:	XV, 756 p. 110 illus., 42 illus. in color. online resource.
ISBN:	9783031107696
ISSN:	2945-9141 ;
DOI:	10.1007/978-3-031-10769-6
訪問:	Open Access