About this scholarly article

Logic for Programming, Artificial Intelligence, and Reasoning Volume 2850 by Vardi, Moshe Y.; Voronkov, Andrei is a scholarly article available to read on EtoBox.

Author

Vardi, Moshe Y.; Voronkov, Andrei

Publisher

Springer Berlin Heidelberg

Published

2003