Automated Reasoning Books

2 books

Automated Deduction – CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings (Lecture Notes in Computer Science, 3632)

Automated Deduction – CADE-20: 20th International Conference on Automated Deduc…

Robert Nieuwenhuis

0.0 stars

Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, ... Notes in Computer Science Book 10900)

Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Pa…

0.0 stars