|
Volumn , Issue , 1997, Pages 414-421
|
CSL (Part I): Modelling general N-ary, logical CSPs
a a a
a
Natl Computer Board
*
(Singapore)
|
Author keywords
[No Author keywords available]
|
Indexed keywords
ALGORITHMS;
CONSTRAINT THEORY;
LOGIC PROGRAMMING;
PROBLEM SOLVING;
PROGRAM COMPILERS;
USER INTERFACES;
CONSTRAINT SPECIFICATION LANGUAGES (CSL);
COMPUTER HARDWARE DESCRIPTION LANGUAGES;
|
EID: 0031341779
PISSN: 10636730
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
Times cited : (1)
|
References (9)
|