Automated Reasoning with Analytic Tableaux and Related Methods, 1st ed. 2021 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings Lecture Notes in Artificial Intelligence Series
Coordonnateurs : Das Anupam, Negri Sara
Date de parution : 09-2021
Ouvrage de 467 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 52,74 €
Ajouter au panierThèmes d’Automated Reasoning with Analytic Tableaux and Related... :
Mots-clés :
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