The Coq proof assistant
Science - Math - Logic and Foundations - Computational Logic - Logical Frameworks - Coq. Allows the user to handle calculus assertions, to check mechanically proofs of these assertions, helps to find ...
coq.inria.fr
DC Proof Online
Science - Math - Logic and Foundations - Software. New proof-writing software to teach the fundamentals of logic and proof. Enables users/students to write error-free proofs by selecting rules of inference, axioms, etc. from convenient drop-down menus. Includes tutorial and exercises. ...
www.dcproof.com
NuPrl Proof Development System
-based proof assistant, developed over the last 15 years at Cornell University. Features include: very... and automata theory, possibility of an extraction a certified program from the constructive proof of its formal specification, graphical proof editor. NuPrl was successfully used in verifying components ...
www.cs.cornell.edu
Concept Cars
Recreation - Autos - Enthusiasts - Concept Vehicles. Concepts of new sports cars and supercars, includes pictures, brief technical engine specifications and racing performance parameters. ...
www.sportscarcup.com
Concept Searching
Reference - Knowledge Management - Knowledge Retrieval - Classification - Software. Developer of search, auto-classification, taxonomy management software that uses concept extraction and "compound te ...
www.conceptsearching.com
Concept Search
Reference - Knowledge Management - Knowledge Representation - Semantic Web. Paper discusses how syntactic (keyword-based) search can be extended to semantic (concept-based) search while preserving eff ...
Proof
Society - Religion and Spirituality - Christianity - Denominations - Catholicism - Reference - Catholic Encyclopedia - P. (Catholic Encyclopedia) ...
www.newadvent.org
Mulligan Concept of Manual Therapy
Health - Professions - Physical Therapy - Manual Therapy. Explanations of the Mulligan Concept of mobilisations as well as related articles, courses and products. ...
www.bmulligan.com
Concept Mapping Homepage
Reference - Knowledge Management - Knowledge Creation - Concept Mapping. Description and example of the technique. Features links and basic references. ...
users.edte.utwente.nl
Concept CAD Ltd
Science - Technology - Electronics - Design - PCB Design. Concept CAD provide PCB design solutions to all sectors of the electronics industry. We specialize in the design and layout of complex, constrained boards for leading edge technologies. ...
www.conceptcad.com
The Concept and Teaching of Mathematical Place Value
Science - Math - Education - Teaching Resources. An explanation, using the concept of mathematical "place value", of how to teach material based on analyzing its logical and conceptual structure. ...
www.garlikov.com
Designing a Concept Mapping System User Interface
Reference - Knowledge Management - Knowledge Creation - Concept Mapping. Roberto A. Flores-Méndez. Concept mapping users can be found on a wide range of areas and with different levels of expertise. Their main motivation is to create diagrams to represent and communicate information relevant to their domain ...
pages.cpsc.ucalgary.ca
Demonstration and Proof
Society - Philosophy - Philosophy of Science - Mathematics - Brown, George Spencer. Page that includes a discourse presented by Brown in 1973, on the distinction between a demonstration and a proof. ...
www.csus.edu
Print and Proof
Business - Publishing and Printing - Prepress - Equipment and Supplies. Colour management, Enfocus workflow and training solutions for photographers, designers and printers. Included are RIP's, Canon ...
www.printandproof.co.uk
Proof of Concepts
Reference - Education - Methods and Theories - Learning Theories - Inquiry Based Learning - Content Resources. Addresses techniques teachers can use in developing interactive science instructions for ...
www.proofofconcepts.com
Proof of the Power
Reference - Libraries - Library and Information Science - Subject Specialties - Youth-Children. Full-text ERIC Digest about the impact of school library media programs on the academic achievement of U ...
www.ericdigests.org
Bully Proof
Regional - North America - Canada - Nova Scotia - Localities - D - Dartmouth - Society and Culture. Offers an assertiveness training workshop for kids which includes the psychology of bullying, what t ...
www.bullyproof.budocentral.com
Shatter Proof
Shopping - Crafts - Supplies - Floral. A preservative for fresh and dried flowers. Includes usage information and a FAQ. ...
www.shatter-proof.com
IMDb: Proof of Life
Arts - Movies - Titles - P - Proof of Life. Cast and crew information and links. ...
us.imdb.com
Concept Cars
Recreation - Autos - Enthusiasts - Concept Vehicles. Vehicle information from concept to production. Contains events, auto show coverage, high resolution photos, vehicle statistics and a manufacturers index. ...
www.conceptcarz.com
IMDb : 100 Proof (1997)
Arts - Movies - Titles - 1 - 100 Proof. Full cast and crew for the film, and other information from the Internet Movie Database. ...
us.imdb.com
The LEGO Proof Assistant
Science - Math - Logic and Foundations - Computational Logic - Logical Frameworks. A powerful tool for interactive proof development in the natural deduction style. It supports refinement proof as a b ...
www.dcs.ed.ac.uk
Allwatchers Proof of Life Spotlight
Arts - Movies - Titles - P - Proof of Life. Detailed analysis of the film, and links to similar movies. Sign up to be a movie scholar on the site. ...
www.allwatchers.com
Scientific Proof of God
Society - Religion and Spirituality - Opposing Views - Agnosticism. George Hammond's scientific proof of God wherein God is shown to be a curvature of Psychometry Space. ...
top
