prologbooks.blogspot.com
Prolog books: Modelling Spatial Knowledge on a Linguistic Basis: Theory - Prototype -Integration (Lecture Notes in Computer Science / Lecture Notes inArtificial Intelligence)
http://prologbooks.blogspot.com/2009/01/modelling-spatial-knowledge-on_6643.html
Tuesday, January 20, 2009. Modelling Spatial Knowledge on a Linguistic Basis: Theory - Prototype - Integration (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence). Modelling Spatial Knowledge on a Linguistic Basis: Theory - Prototype - Integration (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence). Ewald Lang , Kai-Uwe Carstensen , Geoffrey Simmons. Buy this book in. Logic Programming and Automated Reasoning: 5th Int. Prolog, tout de suite! Logic wit...
prologbooks.blogspot.com
Prolog books: An Automatic Partial Evaluator for Full Prolog (Dissertation series /Swedish Institute of Computer Science, SICS 04)
http://prologbooks.blogspot.com/2009/01/automatic-partial-evaluator-for-full_1735.html
Tuesday, January 20, 2009. An Automatic Partial Evaluator for Full Prolog (Dissertation series / Swedish Institute of Computer Science, SICS 04). An Automatic Partial Evaluator for Full Prolog (Dissertation series / Swedish Institute of Computer Science, SICS 04). An Automatic Partial Evaluator for Full Prolog (Dissertation series / Swedish Institute of Computer Science, SICS 04). Swedish Institute of Computer Science. Buy this book in. Logic Programming and Automated Reasoning: 5th Int. Prolog Programmi...
prologbooks.blogspot.com
Prolog books: Practical Aspects of Declarative Languages: 5th InternationalSymposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003,Proceedings (Lecture Notes in Computer Science)
http://prologbooks.blogspot.com/2009/01/practical-aspects-of-declarative_8445.html
Tuesday, January 20, 2009. Practical Aspects of Declarative Languages: 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings (Lecture Notes in Computer Science). Practical Aspects of Declarative Languages: 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings (Lecture Notes in Computer Science). Buy this book in. Logic Programming and Automated Reasoning: 5th Int. Warrens Abstract Machine: A Tutorial Reconstructi. Executabl...
prologbooks.blogspot.com
Prolog books: January 2009
http://prologbooks.blogspot.com/2009_01_01_archive.html
Tuesday, January 20, 2009. Logic Programming and Automated Reasoning: 5th International Conference, LPAR 94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings (Lecture Notes in Computer . / Lecture Notes in Artificial Intelligence). Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings (Lecture Notes in Computer . / Lecture Notes in Artificial Intelligence). Buy this book in. Warren's Abstract Machine: A Tutorial Reconstruction (Log...
prologbooks.blogspot.com
Prolog books: Warren's Abstract Machine: A Tutorial Reconstruction (Logic Programming)
http://prologbooks.blogspot.com/2009/01/warren-abstract-machine-tutorial_7170.html
Tuesday, January 20, 2009. Warrens Abstract Machine: A Tutorial Reconstruction (Logic Programming). Warren's Abstract Machine: A Tutorial Reconstruction (Logic Programming). Warren's Abstract Machine: A Tutorial Reconstruction (Logic Programming). Buy this book in. Logic Programming and Automated Reasoning: 5th Int. Warrens Abstract Machine: A Tutorial Reconstructi. Simply Logical: Intelligent Reasoning by Example (. Practical Aspects of Declarative Languages: 5th In. Prolog, tout de suite!