Summary: ESSLLI'03
&
CSL'03.
Vienna,
August
26,
2003
Back
to
the
Future:
Explicit
Logic
for
Computer
Science
Sergei
N.
Artemov
Graduate

Source: Artemov, Sergei N. - Faculty of Mechanics and Mathematics, Moscow State University

Collections: Computer Technologies and Information Sciences