Automated reasoning
by Larry Wos
No description available.
Démonstration automatiqueThéorèmesKunstmatige intelligentieProgrammation (Informatique)Computer programmingAutomatic theorem provingArtificial intelligenceIntelligence artificielleElectronic digital computers, programming