|
ABOUT INSTITUTE FOR PROGRAMMING =============================== The Institute for Programming is Kazimir Majorinc's low profile project for research and development of the computer programs related to some fundamental areas of science and technology. The work is currently organized around two sub-projects: AUTOMATED THEOREM FINDING
Some results are published in
BLOG .
Public talks on Lisp
(Croatian language) are also recorded and published. ------------------------- The goal of the project is development of the software able to efficiently derive relatively interesting theorems, currently in the scope of limited, propositional logic and related theory. LISP --------------- The goal of the project is research of the main ideas related to the programming language Lisp. CONTACT -------
Use it without hesitation, please. |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |
NEWS ====
|
