Automated Reasoning with Analytic Tableaux and Related Methods
portes grátis
Automated Reasoning with Analytic Tableaux and Related Methods
30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings
Das, Anupam; Negri, Sara
Springer Nature Switzerland AG
09/2021
467
Mole
Inglês
9783030860585
15 a 20 dias
741
Descrição não disponível.
Tableau Calculi.- Sequent Calculi.- Theorem Proving.- Formalized Proofs.- Non-Wellfounded Proofs.- Intuitionistic Modal Logics.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecting;artificial intelligence;automata theory;computer programming;computer science;computer systems;dynamic logic;formal languages;formal logic;linguistics;logic programming;mathematics;modal logic;programming languages;semantics;sequent calculus;software design;software engineering;theorem provers;theoretical computer science
Tableau Calculi.- Sequent Calculi.- Theorem Proving.- Formalized Proofs.- Non-Wellfounded Proofs.- Intuitionistic Modal Logics.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecting;artificial intelligence;automata theory;computer programming;computer science;computer systems;dynamic logic;formal languages;formal logic;linguistics;logic programming;mathematics;modal logic;programming languages;semantics;sequent calculus;software design;software engineering;theorem provers;theoretical computer science
