Date: 2014-08-27 06:04:04

Automated theorem proving

Proof theory

Logic in computer science

Theoretical computer science

Isabelle

Mathematical proof

Proof assistant

Theorem

Automated reasoning

Logic

Mathematics

Mathematical logic

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

File Size: 1,75 MB