Synthesizing constraint expressions /
Main Author: | Freuder, Eugene C |
---|---|
Format: | Book |
Language: | English |
Published: |
Cambridge :
Massachusetts Institute of Technology, Artificial Intelligence Laboratory,
1976
|
Series: | AI memo ;
no. 370 |
Subjects: |
Similar Items
-
Synchronizable series expressions :
by: Waters, Richard C
Published: (1987) -
Syntax and display of mathematical expressions /
by: Martin, William A
Published: (1965) -
A language for expressing almost-hierarchical descriptions /
by: Sussman, Gerald Jay
Published: (1981) -
A fast parsing scheme for hand-printed mathematical expressions /
by: Martin, William A
Published: (1967) -
Recursive functions of symbolic expressions and their computation by machine /
by: McCarthy, John
Published: (1959)