Logic, Language, Information, and Computation, 1st ed. 2019 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings Theoretical Computer Science and General Issues Series
Coordonnateurs : Iemhoff Rosalie, Moortgat Michael, de Queiroz Ruy
Date de parution : 06-2019
Ouvrage de 662 p.
15.5x23.5 cm
Thèmes de Logic, Language, Information, and Computation :
Mots-clés :
artificial intelligence; automata theory; databases; formal languages; formal logic; linguistics; modal logic; model checking; natural languages; problem solving; project management; sequent calculus; set theory; software engineering; theorem proving; algorithm analysis and problem complexity