Logique et démonstration automatique - Verimag

nement mathématique, donnant ainsi naissance à la logique moderne. .... livre ( déduction naturelle, résolution, algorithme DPLL, construction de modèles etc .


Un extrait du document

Top Livres   ||   De A a Z   || De Z a A