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 jeRead full review

www.amazon.com