Date: 2014-11-10 04:09:39

Logic in computer science

Automated theorem proving

Formal methods

Model theory

Isabelle

First-order logic

KeY

HOL

Proof assistant

Theoretical computer science

Mathematical logic

Mathematics

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 524,79 KB