Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
Formalism: pitfalls and overcoming them (with AI?) Cliff Jones Newcastle University My background
Add to Reading List
Document Date: 2013-10-30 13:20:35
Open Document
File Size: 36,84 KB
Share Result on Facebook
Organization
Newcastle University /
European Union /
/
Person
Cliff Jones /
Alan Bundy /
/
Technology
artificial intelligence /
/
SocialTag
Mathematical logic
Formal methods
Form
Philosophy of mathematics
Technical communication
Formalism
Dependability
Mathematical proof
Reification
Quality