SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Journal of Automated Reasoning

Volumn 9, Issue 2, 1992, Pages 231-260

CLP(ℜ) and some electrical engineering problems

(3) Heintze, Nevin a Michaylov, Spiro a Stuckey, Peter b

a CARNEGIE MELLON UNIVERSITY (United States)

b UNIVERSITY OF MELBOURNE (Australia)

Author keywords

circuit analysis; circuit synthesis; Constraints; field analysis; logic programming; signal flow analysis

Indexed keywords

EID: 34249833731 PISSN: 01687433 EISSN: 15730670 Source Type: Journal
DOI: 10.1007/BF00245462 Document Type: Article

Times cited : (16)

References (20)

1
- 84976722628
- The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
- (1981) ACM Transactions on Programming Languages and Systems , vol.3 , pp. 252-387
- Borning, A.¹

2
- 84935276882
- Colmerauer, A. ‘Opening the Prolog III Universe’, Byte, 12(9), August 1987.

3
- 84984356932
- Propagation of Constraints applied to Circuit Synthesis
- (1980) International Journal of Circuit Theory and Applications , vol.8 , pp. 127-144
- De Kleer, J.¹ Sussman, G.J.²

4
- 84935276883
- Dincbas, M., Van Hentenryck, P., Simonis, H., Aggoun, A., Graf, T. and Berthier, F. ‘The Constraint Logic Programming Language CHIP’, Proceedings, Fifth Generation Computer Systems, Tokyo, December 1988.

5
- 84935276884
- Computer Science Research Report, IBM Research Laboratory, San Jose, California
- (1985) Simple Symbolic and Numeric Computations Based on Equations and Inequalities
- Hansen, B.S.¹ Hansen, M.R.²

6
- 84935276885
- Heintze, N. C., Jaffar, J., Michaylov, S., Stuckey, P. J. and Yap, R. ‘The CLP(ℜ) Programmer's Manual: Version 2.0’, Department of Computer Science, Monash University, June 1987.

7
- 84935276876
- Jaffar, J., Michaylov, S., Stuckey, P. J. and Yap, R. ‘The CLP(ℜ) Language and System’, IBM Research Report RC 16292 (# 72336), November 1990.

8
- 84935276877
- Jaffar, J. and Lassez, J.-L. ‘Constraint Logic Programming’, Proceedings, 14th ACM Symposium on POPL, Munich, January 1987.

9
- 84935276878
- Jaffar, J. and Michaylov, S. ‘Methodology and Implementation of a CLP System’, Proceedings, Fourth International Conference on Logic Programming, Melbourne, May 1987.

10
- 84935276879
- Konopasek, M. and Jayaraman, S. ‘Constraint and Declarative Languages for Engineering Applications: The TK!Solver Contribution’ Proceedings of the IEEE, 73, December 1985.

11
- 84935276875
- MATHLAB Group, ‘Macsyma Reference Manual’, MIT, 1977.

12
- 84935276873
- Naish, L. ‘The MU-PROLOG 3.2db Reference Manual’, Technical Report, Department of Computer Science, University of Melbourne, 1985.

13
- 84935276874
- Oppenheim, A. V., Willsky, A. S. and Young, I. T., Signals and Systems, Prentice-Hall, 1983.

14
- 0003822921
- Springer-Verlag, New York
- (1987) Reduce: Software for Algebraic Computation
- Rayna, G.¹

15
- 0042522543
- AI Memo, 380, MIT Artificial Intelligence Laboratory, Cambridge
- (1976) Forward Reasoning and Dependency Directed Backtracking in a System for Computer-Aided Circuit Analysis , pp. 135-196
- Stallman, R.M.¹ Sussmann, G.J.²

16
- 0018482238
- AI Memo, 502, MIT Artificial Intelligence Laboratory, Cambridge
- (1978) Constraints , pp. 208-225
- Steele, G.L.¹ Sussman, G.J.²

17
- 0342746529
- The Implementation and Definition of a Computer Programming Language Based on Constraints
- Dept. Electrical Engineering and Computer Science. MIT, Cambridge, Mass.
- (1980) Ph.D. Dissertation
- Steele, G.L.¹

18
- 84935276871
- AI Memo, 328, MIT Artificial Intelligence Laboratory, Cambridge
- (1975) Heuristic Techniques in Computer-Aided Circuit Analysis
- Sussman, G.J.¹ Stallman, R.M.²

19
- 84935276872
- Thorn, J. and Zoebel, J. ‘NU-Prolog Reference Manual’, Version 1.3. Technical Report 86/10. Machine Intelligence Project, Department of Computer Science, University of Melbourne.

20
- 84935276869
- Computer Science Research Report, IBM Research Laboratory, San Jose, California
- (1985) A Constraint Language and its Interpreter
- Zima, H.P.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.