Obálka

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

Celý popis

Uloženo v:
Médium: Online
Jazyk:angličtina
Vydáno: Springer Nature 2022
Témata:
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
On-line přístup:ONIX_20220817_9783031107696_22
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Buďte první, kdo okomentuje tento záznam!
Nejprve se musíte přihlásit.

Podobné jednotky