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
testo in inglese

top
Hai dimenticato la tua password?
inserisci il tuo email/login qui sotto e riceverai la password all'indirizzo indicato.
Voronkov, Andrei - Springer Distribution Center GmbH (SDC), 2008
testo in inglese
