Thoralf Skolem - PDFSEARCH.IO - Document Search Engine

Thoralf Skolem
Results: 11

#	Item
1	Decision Problems for Linear Recurrence Sequences? Jo¨el Ouaknine Department of Computer Science, Oxford University, UK Add to Reading List Source URL: fct2013.csc.liv.ac.uk Language: English - Date: 2013-06-20 05:30:29 Mathematics Theoretical computer science Mathematical logic Fibonacci number LRS Algebraic geometry Thoralf Skolem Quantum computing
2	History of Contemporary Logic from Boole to Godel Add to Reading List Source URL: www.ontologymirror.com Language: English - Date: 2014-05-09 04:12:40 Philosophers of mathematics Gottfried Leibniz Logicians Mathematical logic George Boole Calculus ratiocinator Characteristica universalis Thoralf Skolem Kurt Gödel Philosophy Mathematics Science
3	History of Contemporary Logic from Boole to Godel Add to Reading List Source URL: www.ontologyasia.com Language: English - Date: 2015-02-16 06:04:56 Philosophers of mathematics Gottfried Leibniz Logicians Mathematical logic George Boole Calculus ratiocinator Characteristica universalis Thoralf Skolem Kurt Gödel Philosophy Mathematics Science
4	History of Contemporary Logic from Boole to Godel Add to Reading List Source URL: www.ontologyafrica.com Language: English - Date: 2014-05-09 04:11:04 Philosophers of mathematics Gottfried Leibniz Logicians Mathematical logic George Boole Calculus ratiocinator Characteristica universalis Thoralf Skolem Kurt Gödel Philosophy Mathematics Science
5	History of Contemporary Logic from Boole to Godel Add to Reading List Source URL: www.ontologysa.com Language: English - Date: 2014-05-09 04:13:13 Philosophers of mathematics Gottfried Leibniz Logicians Mathematical logic George Boole Calculus ratiocinator Characteristica universalis Thoralf Skolem Kurt Gödel Philosophy Mathematics Science
6	A Self-Verifying Theorem Prover Jared Davis Ph.D. Defense Department of Computer Sciences The University of Texas at Austin Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2010-12-31 01:37:44 Proof theory Lisp programming language Model theory Deduction Mathematical proof ACL2 Thoralf Skolem Theorem Axiom Logic Mathematics Mathematical logic
7	Course-Description-and-Plan Add to Reading List Source URL: philosophy.columbia.edu Language: English - Date: 2011-07-18 12:13:27 Metalogic Thoralf Skolem First-order logic Soundness Löwenheim–Skolem theorem Axiom Deductive reasoning Non-standard model Theory Logic Mathematical logic Model theory
8	Using Classical Planners for Tasks with Continuous Operators in Robotics Siddharth Srivastava and Lorenzo Riano and Stuart Russell and Pieter Abbeel Computer Science Division University of California, Berkeley Berkeley, Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-23 10:14:06 Mathematical logic Theoretical computer science Model theory Motion planning STRIPS Planning Domain Definition Language Logic programming Thoralf Skolem Robotics Mathematics Artificial intelligence Automated planning and scheduling
9	proc.dvi Add to Reading List Source URL: igitur-archive.library.uu.nl Language: English - Date: 2008-04-02 14:07:20 Logic Function Skolem normal form Thoralf Skolem Axiom of choice Mathematics Mathematical logic Model theory
10	PDF Document Add to Reading List Source URL: www.matilde.mathematics.dk Language: English - Date: 2003-06-27 08:30:10 Norwegian Academy of Science and Letters Thoralf Skolem Norwegian Mathematical Society Ralph Tambs-Lyche Børge Jessen Arne Beurling Annales Academiae Scientiarum Fennicae. Mathematica Acta Mathematica Danish Mathematical Society Mathematics Norway Academia