Automated reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings. Part I

Automated reasoning : Part I / 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings. Nicolas Peltier, Viorica Sofronie-Stokkermans (eds.).

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

Saved in:
Bibliographic Details
Corporate Author: IJCAR (Conference) Online)
Other Authors: Peltier, Nicolas, Sofronie-Stokkermans, Viorica
Format: eBook
Language:English
Published: Cham : Springer, 2020.
Series:Lecture notes in computer science ; 12166.
Lecture notes in computer science. Lecture notes in artificial intelligence.
LNCS sublibrary. Artificial intelligence.
Subjects:
Automatic theorem proving > Congresses.
Computer logic > Congresses.
Artificial intelligence.
Computer programming > software development.
Software Engineering.
Programming & scripting languages: general.
Mathematical theory of computation.
Computers > Intelligence (AI) & Semantics.
Computers > Programming > General.
Computers > Software Development & Engineering > General.
Computers > Programming Languages > General.
Mathematics > Logic.
Automatic theorem proving
Computer logic
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Online Access:Click for online access

Similar Items

Similar Items