CONSTRAINT AND DECLARATIVE LANGUAGES FOR ENGINEERING APPLICATIONS - THE TK SOLVER CONTRIBUTION

被引：9

作者：

KONOPASEK, M ^{[1
]}

JAYARAMAN, S ^{[1
]}

机构：

[1] SOFTWARE ARTS,WELLESLEY,MA 02181

来源：

关键词：

CONSTRAINT AND DECLARATIVE LANGUAGES - DIRECT DIALOGS WITH COMPUTER - TK SOLVER;

D O I：

10.1109/PROC.1985.13371

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

引用

页码：1791 / 1806

页数：16

共 19 条

[1]

BURKE G, UNPUB ELECTRICAL ENG

[2]

HAYESROTH F, 1984, COMPUTER, V17, P263, DOI 10.1109/MC.1984.1658976

KONOPASEK, M ;

PAPACONSTADOPOULOS, C .

COMPUTER LANGUAGES, 1978, 3 (03) :145-155

[4]

KONOPASEK M, 1984, BYTE, V9, P137

[5]

KONOPASEK M, 1975, P EUROPEAN C ITERACT

[6]

Konopasek M., 1984, TK SOLVER BOOK GUIDE

[7] MACHINE TONGUES X - CONSTRAINT LANGUAGES [J].

LEVITT, D .

[8]

MCCAMMON R, 1985, BYTE, V10, P396

[9]

ROSS SS, 1985, MCGRAW HILLS TK SOLV

[10]

SCHLOSSER J, 1983, BUSINESS COMPUT DEC, P151