BibSonomy :: concept  ::

Grundlage der symbolischen Logik

This collection is a presentation of several small Python programs. They are aimed at intermediate programmers; people who have studied Python and are fair...This collection is a presentation of several small Python programs. They are aimed at intermediate programmers; people who have studied Python and are fairly comfortable with basic recursion and object oriented techniques. Each program is very short, neve

Jurgen Schmidhuber (1986)

J.W. Lloyd and R.W. Topor Journal of Logic Programming(1984)

SWI-Prolog http://www.swi-prolog.org/guitracer.html, (2007) (accessed 2007-02-13) .

TPM http://kmi.open.ac.uk/kmi-misc/tpm/tpm.html, (2007) (accessed 2007-02-13) .

J. Wielemaker University of Amsterdam, The Netherlands, (2003)

J. Wielemaker (1997)

John H. Connolly International Journal of Man-Machine Studies24(6):623-632(1986)

Andrea Passerini and Paolo Frasconi and Luc De Raedt Journal of Machine Learning Research(2006)

Fabian Steeg and Christoph Benden and Paul-O Samuelsdorff Poster presented at the Twelfth International Conference on Functional Grammar. Sao Jose do Rio Preto, Brazil: Universidade Estadual Paulista., (2006)

Reinhold Merkelbach ΑΛΕΞΑΝΔΡΙΝΑ. Hellénisme, judaïsme et christianisme à Alexandrie. Mélanges offerts au P. Claude Mondésert, Paris, (1987)

Leon Sterling and Ehud Shapiro MIT Press, Cambridge (MA), (1986)

Yoav Shoham Morgan Kaufmann, (1994)

Frank Morawietz and Philippe Blache Theory and Practice of Logic Programming, , (Submitted)

Gerald Gazdar and Chris Mellish Addison-Wesley, Wokingham, England, (1989)

Michael A. Covington AI-1994-06. Artificial Intelligence Center, The University of Georgia, (1994)

Michael A. Covington Prentice-Hall, Englewood Cliffs, NJ, (1994)

Michael A. Covington Applied Artificial Intelligence(forthcoming)

Henning Christiansen (2002) Submitted to journal Theory and Practice of Logic Programming .