title | ISBN-13 | year of publica- tion | other author(s) | |
---|---|---|---|---|
Computing With Logic: Logic Programming With Prolog | 978-0-8053-6681-5 | 1988 | David Maier | |
Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings | 978-3-642-02845-8 | 2010 | Patricia M. Hill | |
Logic Programming: Proceedings of the Tenth International Conference on Logic Programming June 21-24, 1993, Budapest, Hungary | 978-0-262-73105-8 | 1993 | ||
Practical Aspects of Declarative Languages: 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings | 978-3-540-77441-9 | 2007 | Paul Hudak | |
Semantica: Version 1.0 | 978-0-262-62117-5 | 1997 | Richard K. Larson · Juliana Freire · Patricia Gomez · Konstatinos Sagonas | |
Syntactica: NeXTStep Edition | 978-0-262-62106-9 | 1996 | Richard K. Larson · Juliana Freire de Lima e Silva · Konstantinos Sagonas | |
The Logic Programming Paradigm: A 25-Year Perspective | 978-3-540-65463-6 | 1999 | Krzysztof R. Apt · Victor W. Marek · Mirek Truszczynski |
D S · D.W. · D. Warren · David S. · David Szen Warren Shiver · David W. · David Warren · S. W. · S. Warren
Benjamin Cummings · Springer · The MIT Press