Skip to content
Vinony

Logic for programming artificial intelligence and reasoning

by Moshe Y. Vardi, Andrei Voronkov

Cover of Logic for programming artificial intelligence and reasoning

No description available.

Logic programmingCongressesAutomatic theorem proving