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
€57.49
