Automated Reasoning

Automated Reasoning

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

Kovacs, Laura; Blanchette, Jasmin; Pattinson, Dirk

Springer International Publishing AG

07/2022

756

Mole

Inglês

9783031107689

15 a 20 dias

1163

Descrição não disponível.

Índice não disponível.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

artificial intelligence;automata theory;computer hardware;computer networks;computer programming;computer systems;embedded systems;formal languages;formal logic;logic programming;network protocols;semantics;software architecture;software design;software engineering;theoretical computer science