Logic for Computer Science: Foundations of Automatic Theorem P…
Rating: 53 reviews from 1 sources
Reviews
Selected Review of 53 Reviews
Bonjour, très bel ouvrage bien conàu et bien garni d'ifnormation sur la logique et de démonstration automatique. Correspoind bien à ce que je … Read full review
www.amazon.com