Нүүр зураг

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /

Бусад хувилбаруудыг харуулах (2)

This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. .

-д хадгалсан:

Номзүйн дэлгэрэнгүй
Байгууллагын зохиогч:	SpringerLink (Online service)
Бусад зохиолчид:	Pientka, Brigitte (Засварлагч), Tinelli, Cesare (Засварлагч)
Формат:	Цахим Цахим ном
Хэл сонгох:	англи
Хэвлэсэн:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Хэвлэл:	1st ed. 2023.
Цуврал:	Lecture Notes in Artificial Intelligence, 14132
Нөхцлүүд:	Artificial intelligence. Machine theory. Computer science. Software engineering. Artificial Intelligence. Formal Languages and Automata Theory. Computer Science Logic and Foundations of Programming. Software Engineering.
Онлайн хандалт:	Link to Metadata
Шошгууд:	Шошго нэмэх Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!

Тодорхойлолт
Тойм:	This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. .
Биет тодорхойлолт:	XXV, 592 p. 85 illus., 32 illus. in color. online resource.
ISBN:	9783031384998
ISSN:	2945-9141 ;
DOI:	10.1007/978-3-031-38499-8
Хандалт:	Open Access