Opening book details…
About this scholarly article
Logic Programming and Automated Reasoning Volume 624 by Voronkov, Andrei is a scholarly article available to read on EtoBox.
- Author
- Voronkov, Andrei
- Publisher
- Springer-Verlag
- Published
- 1992
- Language
- EN