Logic Programming and Automated Reasoning: 4th International Conference, Lpar '93 St. Petersburg, Russia, July 13-20, 1993 Proceedings - Couverture souple

 
9780387569444: Logic Programming and Automated Reasoning: 4th International Conference, Lpar '93 St. Petersburg, Russia, July 13-20, 1993 Proceedings

Synopsis

Book by None

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

9783540569442: Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings

Edition présentée

ISBN 10 :  3540569448 ISBN 13 :  9783540569442
Editeur : Springer, 2008
Couverture souple