Automated Reasoning
portes grátis
Automated Reasoning
12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
Benzmueller, Christoph; Schmidt, Renate A.; Heule, Marijn
Springer International Publishing AG
08/2024
482
Mole
9783031634970
Pré-lançamento - envio 15 a 20 dias após a sua edição
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.
Open Access;Automated reasoning;Logic;Logic and verification;Modal and temporal logics;Proof theory;Interactive proof systems;Description logics;Equational logic and rewriting;First-order logic;Higher order logic;Programming logic;Separation logic;Intuitionistic Logics;Deontic Logic;Non-classical Logics;Theorem Proving;Satisfiability Solving;Modal Logics;Rewriting
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Open Access;Automated reasoning;Logic;Logic and verification;Modal and temporal logics;Proof theory;Interactive proof systems;Description logics;Equational logic and rewriting;First-order logic;Higher order logic;Programming logic;Separation logic;Intuitionistic Logics;Deontic Logic;Non-classical Logics;Theorem Proving;Satisfiability Solving;Modal Logics;Rewriting
