David S. Warrenの本 - BookPine

Prolog: The Next 50 Years

Prolog: The Next 50 Years

David S. Warren

The Logic Programming Paradigm: A 25-Year Perspective

The Logic Programming Paradigm: A 25-Year Perspective

Krzysztof R. Apt

Dog's Plot: The Book of William

Dog's Plot: The Book of William

David S. Warren

Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings

Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings

Patricia M. Hill

Logic Programming

Logic Programming

Patricia M. Hill

Practical Aspects of Declarative Languages

Practical Aspects of Declarative Languages

Paul Hudak

Practical Aspects of Declarative Languages: 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings

Practical Aspects of Declarative Languages: 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings

Paul Hudak

Syntactica: NextStep Edition

Syntactica: NextStep Edition

Richard K. Larson

Logic Programming: Proceedings of the Tenth International Conference on Logic Programming June 21-24, 1993, Budapest, Hungary

Logic Programming: Proceedings of the Tenth International Conference on Logic Programming June 21-24, 1993, Budapest, Hungary

David S. Warren

Computing with Logic : Logic Programming with Prolog

Computing with Logic : Logic Programming with Prolog

David Maier