Jacek Martinek

• Kompilator jȩzyka LISP 1.5
• Podstawy automatyki
• Synteza programów przez przekształcanie formuł