Book Chapter

Herbrand constraints in HAL

B Demoen, MG de la Banda, W Harvey, K Marriott, D Overton, PJ Stuckey

Lecture Notes in Artificial Intelligence | SPRINGER-VERLAG BERLIN | Published : 2004

Keywords

Science & Technology
Technology
Computer Science
Computer Science, Theory & Methods