Amanote Research
Register
Sign In
Informal Proof, Formal Proof, Formalism
Review of Symbolic Logic
- United Kingdom
doi 10.1017/s1755020315000234
Full Text
Open PDF
Abstract
Available in
full text
Categories
Mathematics
Philosophy
Logic
Date
August 7, 2015
Authors
ALAN WEIR
Publisher
Cambridge University Press (CUP)
Related search
Formal Proof From UML Models
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Chasm Between Thought Experiment and Formal Proof
Masking Against Side-Channel Attacks: A Formal Security Proof
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Formal Proof of the Expressiveness of Deep Learning
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Correction To: Formal and Natural Proof: A Phenomenological Approach
Convex Object Based Volume Visualization: A Formal Proof and Example
Computers and Graphics
Computer Graphics
Pattern Recognition
Human-Computer Interaction
Computer Vision
Engineering
Computer-Aided Design
Signal Processing
Software
External Tools for the Formal Proof of the Kepler Conjecture
A Formal Library for Elliptic Curves in the Coq Proof Assistant
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Proof-Carrying Code With Untrusted Proof Rules
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
