Skip to content
Vinony

Automated Reasoning

by Ulrich Furbach, Natarajan Shankar

Cover of Automated Reasoning

No description available.

Logic designArtificial intelligenceComputer scienceSoftware engineeringAutomatic theorem provingCongressesComputer logic