Imatge de la portada

Automated Reasoning

This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and sel...

Descripció completa

Guardat en:
Format: Online
Idioma:anglès
Publicat: Springer Nature 2022
Matèries:
artificial intelligence
automata theory
computer hardware
computer networks
computer programming
computer systems
embedded systems
formal languages
formal logic
logic programming
network protocols
semantics
software architecture
software design
software engineering
theoretical computer science
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
Accés en línia:ONIX_20220817_9783031107696_22
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Internet

ONIX_20220817_9783031107696_22

Ítems similars