<--- Back to Details
First PageDocument Content
Nebraska / United States / Kelly Clarkson / University of Nebraska Medical Center / Clarkson / Yale University / Education in Omaha / Nebraska / North Central Association of Colleges and Schools / Clarkson College
Date: 2011-07-07 08:50:32
Nebraska
United States
Kelly Clarkson
University of Nebraska Medical Center
Clarkson
Yale University
Education in Omaha
Nebraska
North Central Association of Colleges and Schools
Clarkson College

Add to Reading List

Source URL: www.clarksoncollege.edu

Download Document from Source Website

File Size: 1,44 MB

Share Document on Facebook

Similar Documents

Software / Proof assistants / Computing / Logic in computer science / JEdit / Isabelle / Standard ML / Plug-in / Selection / Logic for Computable Functions / HOL / Isabel

PDF Document

DocID: 1xVXo - View Document

Algebra / Abstract algebra / Mathematics / Semigroup theory / Algebraic structures / Monoid / Semigroup / Inverse element / Constructible universe / Ordinal number / Variety of finite semigroups / Special classes of semigroups

PDF Document

DocID: 1xVC6 - View Document

Mathematical logic / Logic / Mathematics / Automated theorem proving / Proof theory / Logic in computer science / Proof assistants / Type theory / Isabelle / Mathematical proof / Automated reasoning / Proof

PDF Document

DocID: 1xVrz - View Document

Type theory / Theoretical computer science / Proof assistants / Mathematical logic / Programming language theory / Formal methods / Lambda calculus / Logic in computer science / Isabelle / HOL / HindleyMilner type system / Automated theorem proving

Tobias Nipkow Programming and Proving in Isabelle/HOL le l

DocID: 1xV5d - View Document

Mathematical logic / Logic / Proof theory / Mathematics / Proof assistants / Logic in computer science / Type theory / Substructural logic / Sequent / First-order logic / Isabelle / Higher-order logic

PDF Document

DocID: 1xV2k - View Document