[Lecture Notes in Computer Science] Logic Programming and Automated Reasoning Volume 624 || Disjunctive deductive databases
- 作者Voronkov, Andrei
- 文件大小1554.20KB
- 发表时间1992
- DOI10.1007/BFb0013073
- 页码332-356
同期刊推荐
Relieving stress in stainless steelsPanchal, Vikas D. · World Pumps · 2013
Energy saving potential of mixingKiilerich, Bruno; Utility, Water; Yang, Eddy · World Pumps · 2013
Planet proposition gives environment first placeWorld Pumps · 2013
Electricity from geothermal powerOirere, Shem · World Pumps · 2013
Pump Industry Awards: 2014 finalists revealedWorld Pumps · 2014
New developments in slurry sealingBloch, Heinz P; Grove, Tom · World Pumps · 2014
Pump FAQsWorld Pumps · 2014
Xylem appoints new president and CEOWorld Pumps · 2014