Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

by Christoph Benzmüller, Marijn J. H. Heule, Renate A. Schmidt Paperback 2024

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Christoph Benzmüller, Marijn J. H. Heule, Renate A. Schmidt
  • ISBN 13: 9783031635007
  • ISBN 10: 3031635000
  • Publication Year: 2024
  • Language: English

Specifications

Index-10 3031635000
Index-13 9783031635007
Language English

✨ Readers also enjoyed...

View All →
Logic and Argumentation : 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings

Logic and Argumentation : 4th Inte…

Pietro Baroni, Christoph Benzmüller, Yi N. Wáng

Inquire
Rules and Reasoning : Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings

Rules and Reasoning : Second Inter…

Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman

Inquire
Widerlegung des Reduktionismus : Ausgewählte Beiträge Zum Kurt Gödel Preis 2019

Widerlegung des Reduktionismus : A…

Oliver Passon, Christoph Benzmüller

Inquire