Cover Image

Automated Reasoning 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II /

This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Aut...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Peltier, Nicolas. (Editor, http://id.loc.gov/vocabulary/relators/edt), Sofronie-Stokkermans, Viorica. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2020.
Edition:1st ed. 2020.
Series:Lecture Notes in Artificial Intelligence ; 12167
Subjects:
Mathematical logic.
Artificial intelligence.
Computer logic.
Software engineering.
Programming languages (Electronic computers).
Computer programming.
Mathematical Logic and Formal Languages.
Artificial Intelligence.
Logics and Meanings of Programs.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Online Access:https://doi.org/10.1007/978-3-030-51054-1

Internet

https://doi.org/10.1007/978-3-030-51054-1

Similar Items