| 1 |
Concurrent Prolog : collected papers / edited by Ehud Shapiro
: set,v. 1,v. 2. - Cambridge, Mass. : MIT Press , c1987
|
| 2 |
Parallel logic programming / Evan Tick
Cambridge, Mass. : MIT Press , c1991
|
| 3 |
Logic-based knowledge representation / Peter Jackson, Han Reichgelt, Frank van Harmelen
Cambridge, Mass. : MIT Press , c1989
|
| 4 |
Logic programming : proceedings of the fifth international conference and symposium / edited by Robert A. Kowalski and Kenneth A. Bowen
: set,v. 1,v. 2. - Cambridge, Mass. : MIT Press , c1988
|
| 5 |
Concurrent constraint programming / Vijay A. Saraswat
Cambridge, MA : MIT Press , c1993
|
| 6 |
The art of Prolog : advanced programming techniques / Leon Sterling, Ehud Shapiro
: hard,: pbk. - Cambridge, Mass. : MIT Press , c1986
|
| 7 |
Logic programming : proceedings of the Fourth International Conference / edited by Jean-Louis Lassez
v. 1 - : set. - Cambridge, Mass. : MIT Press , c1987
|
| 8 |
Constraint logic programming : selected research / edited by Frédéric Benhamou and Alain Colmerauer
Cambridge, Mass. : MIT Press , c1993
|
| 9 |
The art of Prolog : advanced programming techniques / Leon Sterling, Ehud Shapiro ; with a foreword by David H.D. Warren
2nd ed. - Cambridge, Mass. : MIT Press , 1994
|
Mendeley出力
