ftp 2000: FTP (LNCS Selection) - researchr conference

researchr

You are not signed in
Sign in
Sign up

in ,

Ricardo Caferra, Gernot Salzer, editors, Automated Deduction in Classical and Non-Classical Logics, Selected Papers. Volume 1761 of Lecture Notes in Computer Science, Springer, 2000.

runs on WebDSL