ODEL - PDFSEARCH.IO - Document Search Engine

ODEL
Results: 129

#	Item
21	From G¨odel to Lambek: Studies in the Foundations of Mathematics Philip Scott University of Ottawa (Lambekfest, September 21, 2013 CRM, U. de Montr´eal ) Add to Reading List Source URL: www.site.uottawa.ca - Date: 2014-06-16 19:29:00
22	WAVE N ET: A G ENERATIVE M ODEL FOR R AW AUDIO Sander Dieleman Heiga Zen† Karen Simonyan Add to Reading List Source URL: arxiv.org - Date: 2016-09-19 20:12:57
23	Arnon AVRON, Ph.D. LIST OF PUBLICATIONS BOOKS 1. A. Avron G¨ odel’s Theorems and The Problem of the Foundations of Add to Reading List Source URL: www.cs.tau.ac.il - Date: 2015-05-10 03:17:11
24	CATEGORICITY B. Zilber G˝ odel Lecture Add to Reading List Source URL: people.maths.ox.ac.uk - Date: 2005-09-15 09:28:28
25	A Guide to Specialising G¨odel Programs with the Partial Evaluator SAGE C.A.Gurr∗ Human Communication Research Centre University of Edinburgh 2 Buccluech Place, Edinburgh EH8 9LW Scotland Add to Reading List Source URL: repository.readscheme.org - Date: 2010-10-22 08:05:11
26	A Self-Applicable Partial Evaluator for the Logic Programming Language G¨odel. Corin Alistair Gurr A thesis submitted to the University of Bristol in accordance with the requirements of the degree of Doctor of Philosoph Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:10 Software engineering Computing Software Evaluation strategy Incremental computing Partial evaluation Programming language implementation Interpreter Logic programming Programming language Meta Eval
27	Geodesic connectedness on G¨odel type spacetimes: a “static” variational set-up Rossella Bartolo September 6∼9, 2011 Email: We show that the problem of the geodesic connectedness of a wide clas Add to Reading List Source URL: gigda.ugr.es - Date: 2011-10-21 04:10:12
28	Specialising the Ground Representation in the Logic Programming Language G¨odel. C.A.Gurr∗ University of Edinburgh Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Software engineering Theoretical computer science Logic programming Computer programming Programming paradigms Automated theorem proving Type theory Prolog Unification Substitution Interpreter Term
29	G¨ odel type spacetimes The variational principle Our result Add to Reading List Source URL: gigda.ugr.es Language: English - Date: 2011-10-21 04:10:12 Theoretical physics Physics Spacetime Theory of relativity Variational principle Lorentzian manifolds
30	Specialising the Ground Representation in the Logic Programming Language G odel. C.A.Gurr Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Software engineering Computer programming Programming paradigms Logic Logic programming Automated theorem proving Prolog Substitution Interpreter Term Programming language Declarative programming

UPDATE