Нүүр зураг

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

Бусад хувилбаруудыг харуулах (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.

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

Номзүйн дэлгэрэнгүй
Байгууллагын зохиогч:	SpringerLink (Online service)
Бусад зохиолчид:	Blanchette, Jasmin (Засварлагч), Kovács, Laura (Засварлагч), Pattinson, Dirk (Засварлагч)
Формат:	Цахим Цахим ном
Хэл сонгох:	англи
Хэвлэсэн:	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
Шошгууд:	Шошго нэмэх Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!

Хамгийн түрүүнд сэтгэгдэл үлдээх!