Del 11560 - Lecture Notes in Computer Science
Description Logic, Theory Combination, and All That
Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
Häftad, Engelska, 2019
729 kr
Skickas inom 10-15 vardagar
Cesare Tinelli – författare
Visar alla böcker från författaren Cesare Tinelli.
4 produkter
4 produkter
- Del 14132 - Lecture Notes in Computer Science
Automated Deduction – CADE 29
29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings
Häftad, Engelska, 2023599 kr
Skickas inom 5-8 vardagar
- Häftad, Engelska, 2011
749 kr
Skickas inom 10-15 vardagar
749 kr
Skickas inom 10-15 vardagar