Значок книги

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 (Редактор)
Формат:	Электронный ресурс eКнига
Язык:	английский
Опубликовано:	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.
Online-ссылка:	Link to Metadata
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

Internet

Link to Metadata

3rd Floor Main Library

Подробно о фондах из 3rd Floor Main Library
Шифр:	A1234.567
Копировать 1	Доступно