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
What is a Theory ? Gilles Dowek INRIA-Rocquencourt, BP 105, 78153 Le Chesnay Cedex, France. http://logical.inria.fr/˜dowek Abstract. Deduction modulo is a way to express a theory using computation
Add to Reading List
Document Date: 2011-01-28 11:35:49
Open Document
File Size: 151,06 KB
Share Result on Facebook
What is a Theory ? Gilles Dowek INRIA-Rocquencourt, BP 105, 78153 Le Chesnay Cedex, France. http://logical.inria.fr/˜dowek Abstract. Deduction modulo is a way to express a theory using computation