Կազմի պատկեր

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
Ցուցիչներ:	Ավելացրեք ցուցիչ Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!

Եղիր առաջինը, ով թողնում է մեկնաբանություն!