Location:
LCS winter 2006/07
|
LCS
|
Courses
|
CL Homepage
|
Dept. of Appl. Inf. (AI and DP)
|
Faculty of Math., Physics, and Inf.
|
Comenius Univ.
Bratislava
|
Slovakia
Slovenská verzia
Lecture notes for the course 1-INF-450 Logic for computer scientists – winter 2006/07
This document is available only in Slovak. Click the title or the blue bar above to show.
*
– updated within last 7 days
Last modified:
2012-02-16
T
20:12
+0100