Automated reasoning
by Larry Wos
Démonstration automatiqueThéorèmesKunstmatige intelligentieProgrammation (Informatique)Computer programmingAutomatic theorem provingArtificial intelligenceIntelligence artificielle
Writing a summary for young readers…
For young readers
Book data: Open Library