Copertina

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...

Descrizione completa

Salvato in:
Natura: Online
Lingua:inglese
Pubblicazione: Springer Nature 2022
Soggetti:
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
Accesso online:ONIX_20220817_9783031107696_22
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!

Accesso online

ONIX_20220817_9783031107696_22

Documenti analoghi