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
