Back to Results
First PageMeta Content
Logic / Function / Skolem normal form / Thoralf Skolem / Axiom of choice / Mathematics / Mathematical logic / Model theory


proc.dvi
Add to Reading List

Document Date: 2008-04-02 14:07:20

Open Document

File Size: 222,09 KB

Share Result on Facebook

Company

Coq / /

Country

Netherlands / /

/

Facility

Coq Marc Bezem Utrecht University Dimitri Hendriks Utrecht University / /

IndustryTerm

proof construction systems / computational device / Internet address / search space / elegant solution / unnecessary applications / /

Organization

Department of Philosophy / EM AC / Utrecht University / /

URL

http /

SocialTag