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

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

Sinossi

Book by Lpar 1992 Saint Petersburg Russia Voronkov Andrei

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  354055727X ISBN 13:  9783540557272
Casa editrice: Springer, 2008
Brossura