Prof. RNDr. Petr Stepanek, DrSc.
Professor of Computer Science
Office:
the
FMP
at the
Charles University
in Prague,
(Malostranske nam. 25, 118 00 Praha 1, Czech Republic)
,
the 3rd floor , door no. 305
phone: ++420-2-2191 4243
E-mail:
stepanek@ksi.ms.mff.cuni.cz
Research areas:
Mathematical Logic, Logic Programming, Lambda Calculus, Set Theory
[
Department of Theoretical Computer Science
], [
Faculty of Mathematics and Physics
], [
Charles University
], [
Prague
], [
Czech Republic
]
Page last generated: Oct 22, 1999
(c) 1997