Logic, Language, Information, and Computation
portes grátis
Logic, Language, Information, and Computation
28th International Workshop, WoLLIC 2022, Ia?i, Romania, September 20-23, 2022, Proceedings
Ciabattoni, Agata; Pimentel, Elaine; de Queiroz, Ruy J. G. B.
Springer International Publishing AG
09/2022
411
Mole
Inglês
9783031152979
15 a 20 dias
676
Descrição não disponível.
Proof theory,.- Model theory.- Modal and temporal logics.- Automated reasoning.-Constraint and logic programming.- Constructive mathematics.- Equational logic and rewriting.- Finite Model Theory.- Descriptive complexity,.- Higher order logic.- Programming logic.- Model checking.- Type theory.- Lambda calculus.- Semantics of programming languages.- Computational linguistics.-Language and computation.- Logic and language.
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 science;computer systems;formal languages;formal logic;graph theory;internet;linguistics;logic programming;mathematics;modal logic;programming languages;semantics;software design;software engineering;theoretical computer science
Proof theory,.- Model theory.- Modal and temporal logics.- Automated reasoning.-Constraint and logic programming.- Constructive mathematics.- Equational logic and rewriting.- Finite Model Theory.- Descriptive complexity,.- Higher order logic.- Programming logic.- Model checking.- Type theory.- Lambda calculus.- Semantics of programming languages.- Computational linguistics.-Language and computation.- Logic and language.
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 science;computer systems;formal languages;formal logic;graph theory;internet;linguistics;logic programming;mathematics;modal logic;programming languages;semantics;software design;software engineering;theoretical computer science
