Back to Results
First PageMeta Content
Theoretical computer science / Mathematical logic / Logic / Logic in computer science / Proof assistants / Boolean algebra / Formal methods / Automated theorem proving / Resolution / Boolean satisfiability problem / Isabelle / Logic for Computable Functions


Document Date: 2005-09-13 07:36:40

Open Document

File Size: 141,70 KB

Share Result on Facebook
UPDATE