#include "header"
The Resources Page
-
Lecture notes on
skordev/ln/ml/start.htm,Mathematical<_>Logic by
Prof. D.<>Skordev (in Bulgarian)
-
Lecture notes on
skordev/ln/lp/index.html,Logic<_>Programming by
Prof. D.<>Skordev (in Bulgarian)
-
Some vbaleva/Exercises.htm,Prolog<_>Exercises
by Prof.<>Vesela Baleva (in Bulgarian)
-
A Prolog Compiler: http://www.dobrev.com,Strawberry<_>Prolog
-
We try to make our web-pages
http://validator.w3.org/check/referer,valid HTML 4.01
Transitional! You can gtml/index.html,look at their
http://www.lifl.fr/~beaufils/gtml/,GTML sources.
-
More resources you can find on the individual web-pages of our
[[MEMBERS_EN]],members.
#include "footer"