Skip to content
Vinony

Logic for programming, artificial intelligence, and reasoning

by Andrei Voronkov

Cover of Logic for programming, artificial intelligence, and reasoning

No description available.

Logic programmingCongressesArtificial intelligenceAutomatic theorem proving
Logic for programming, artificial intelligence, and reasoning by Andrei Voronkov — book · Vinony