Logic Programming and Automated Reasoning: International Conference Lpar '92 St. Petersburg, Russia, July 15-20, 1992 : Proceedings - Couverture souple

 
9780387557274: Logic Programming and Automated Reasoning: International Conference Lpar '92 St. Petersburg, Russia, July 15-20, 1992 : Proceedings

Synopsis

Book by Lpar 1992 Saint Petersburg Russia Voronkov Andrei

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Autres éditions populaires du même titre

9783540557272: Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings

Edition présentée

ISBN 10 :  354055727X ISBN 13 :  9783540557272
Editeur : Springer, 2008
Couverture souple