Logic Programming and Automated Reasoning: International Conference Lpar '92 St. Petersburg, Russia, July 15-20, 1992 : Proceedings (Lecture Notes in Computer Science) - Tapa blanda

 
9780387557274: Logic Programming and Automated Reasoning: International Conference Lpar '92 St. Petersburg, Russia, July 15-20, 1992 : Proceedings (Lecture Notes in Computer Science)

Sinopsis

Book by Lpar 1992 Saint Petersburg Russia Voronkov Andrei

"Sinopsis" puede pertenecer a otra edición de este libro.

Otras ediciones populares con el mismo título

9783540557272: Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings: 624 (Lecture Notes in Computer Science)

Edición Destacada

ISBN 10:  354055727X ISBN 13:  9783540557272
Editorial: Springer, 2008
Tapa blanda