3 Электронные книги Harald Ganzinger
Harald Ganzinger & David McAllester: Logic Programming and Automated Reasoning
This volume contains the papers presented at the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR’99), held in Tbilisi, Georgia, September 6-10, 1999, and hosted …
PDF
английский
DRM
€58.04
