Zakład Logiki Stosowanej

Here is the English version

• Ludzie
• Seminarium
• Wydarzenia, które współorganizowaliśmy
• ETAPS'2003
• Alfred Tarski Centenary Conference
• TLCA'2001
• LICS'97
• LACS - Logic, Algebra and Computer Science (1996)
• CSL'94

Notice: Undefined variable: SCRIPT_NAME in /home/staff/iinf/alx/public_html/ZLS/timestamp.inc on line 3 Ostatnia modyfikacja: 01.06.2004