next up previous
Next: About this document ... Up: First-Order Logic Resolution Theorem Previous: Summary

Bibliography

1
Stuart Russel, ``Peter Norvig, Artificial Intelligence, A Modern Approach'', Prentice-Hall. Inc. 1995

2
Graham Hutton, Erik Meijer, ``Monadic Parser Combinator'', Technical Report NOTICS-TR-96-4, Dept. of Computer Science, University of Nottingham, 1996

3
L.C. Paulson, ``ML for the working programmer'', Cambridge University Press 1991, 1996

4
Paul Hudak, ``The Haskell School of Expression'', Cambridge University Press 2000

5
Mark P. Jones, ``Mini Prolog Version 1.5g - A Simple Prolog Intepreter'', Hugs Demo library, 1991, 1996



Charles Chiou
2001-04-29