Constraints,volume 9,issue 1  (01-2014)

Period of time： 2014年1期

Publisher： Springer Publishing Company

Founded in： 1996

Total resources： 17

ISSN： 1383-7133

Subject： TP Automation Technology , Computer Technology

Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Constraints,volume 9,issue 1

Menu

On Benchmarking Constraint Logic Programming Platforms. Response to Fernandez and Hill's “A Comparative Study of Eight Constraint Programming Languages over the Boolean and Finite Domains”

By Wallace Mark,Schimpf Joachim,Shen Kish,Harvey Warwick in (2004)

Constraints,volume 9,issue 1 , Vol. 9, Iss. 1, 2004-01 , pp. 5-34

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Disunification in ACI1 Theories

By Dovier Agostino,Piazza Carla,Pontelli Enrico in (2004)

Constraints,volume 9,issue 1 , Vol. 9, Iss. 1, 2004-01 , pp. 35-91

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Total 2 item(s)