Autore: Voronkov, Andrei
Logic Programming and Automated Reasoning: International Conference Lpar '92, St.petersburg, Russia, July 15-20, 1992. Proceedings
Voronkov, Andrei - Springer Distribution Center GmbH (SDC), 2008
english text
top
Voronkov, Andrei - Springer Distribution Center GmbH (SDC), 2008
english text