F-theory - PDFSEARCH.IO - Document Search Engine

F-theory
Results: 2982

#	Item
881	Property Persistence in the Situation Calculus 1, Ryan F. Kelly, Adrian R. Pearce ∗ Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2010-05-10 17:55:34 Model theory Logic programming Predicate logic Situation calculus Structure Mereology Mathematical logic Logic Mathematics
882	First-class labels for extensible rows Technical report: UU-CSDaan Leijen Institute of Information and Computing Sciences, Utrecht University P.O.Box, 3508 TB Utrecht, The Netherlands Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2005-04-26 18:48:58 Applied mathematics Formal methods Models of computation Computability theory System F Predicate Lambda calculus Function Unification Mathematics Type theory Theoretical computer science
883	Typed Self-Representation Tillmann Rendel Klaus Ostermann Christian Hofer Add to Reading List Source URL: www.daimi.au.dk Language: English - Date: 2009-03-29 13:41:42 Programming language theory Type theory Fixed-point combinator Simply typed lambda calculus System F Typed lambda calculus Type system Generalized algebraic data type Entailment Theoretical computer science Software engineering Lambda calculus
884	Introduction "God offers to every mind its choice between truth and repose; take which you please; you can never have both." Ralph Waldo Emerson What is a conspiracy? Add to Reading List Source URL: www.septembereleventh.org Language: English - Date: 2009-09-14 09:05:42 Fringe theory Assassination of John F. Kennedy Conspiracy theories Dallas – Fort Worth Metroplex John F. Kennedy Conspiracy? United States House Select Committee on Assassinations Day of Deceit Abraham Lincoln Attack on Pearl Harbor Film United States
885	1975 A C M F u r i n g Award t,ecture The 1975 ACM Turing Award was presented jointly to Allen Newell and Herbert A. Simon at the ACM Annual Conference in Mim?eapolis, October 20. In introducing the recipients, Bernard A Add to Reading List Source URL: mypage.iu.edu Language: English - Date: 2015-01-11 16:22:38 Theory of computation Turing machine Models of computation Computability theory Philosophy of artificial intelligence Physical symbol system Information theory Turing Award Allen Newell Science Computer science Alan Turing
886	Asynchronous Knowledge with Hidden Actions in the Situation Calculus Ryan F. Kelly, Adrian R. Pearce1,∗ Department of Computing and Information Systems The University of Melbourne Victoria, 3010, Australia Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2015-01-05 02:35:40 Logic programming Knowledge representation Predicate logic Logic in computer science Situation calculus Model theory Frame problem Fluent Function Mathematical logic Logic Mathematics
887	32ème forum ORAP F R O M R E S E AR C H T O I N D U S T R Y 10 octobre 2013 – Maison de la Simulation, Saclay, France ELECTRONIC STRUCTURE CALCULATIONS Add to Reading List Source URL: www.irisa.fr Language: English - Date: 2013-10-14 08:00:36 Theoretical chemistry Quantum chemistry Computational chemistry Computational physics Kohn–Sham equations Schrödinger equation Electron Eigenvalues and eigenvectors Time-dependent density functional theory Physics Chemistry Density functional theory
888	Summer 2015 Course Schedule GRADUATE PROGRAMS IN MUSIC EDUCATION U n i v e r s i t y o f S t. T h o m a s St. Thomas’ Graduate Programs in Music Education Add to Reading List Source URL: www.stthomas.edu Language: English - Date: 2015-03-04 16:14:39 Performing arts education Orff Schulwerk Zoltán Kodály Piano pedagogy Choir Gordon Music Learning Theory Doctor of Musical Arts Music education Music Education
889	A General Framework for Expressing Preferences in Causal Reasoning and Planning Torsten Schaub∗ Institut f¨ur Informatik Universit¨at Potsdam Postfach Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2006-11-29 16:27:00 Logic in computer science Theoretical computer science Decision theory Linear temporal logic Temporal logic Preference Planning Domain Definition Language Fluent Utility Logic Automated planning and scheduling Mathematical logic
890	Appendix F Item Descriptions Developed During the TIMSS 2007 Benchmarking Fourth Grade – Mathematics Items at Low International BenchmarkNumber Add to Reading List Source URL: timssandpirls.bc.edu Language: English - Date: 2008-12-05 10:30:28 Pi Fraction Floating point Mathematics Group theory Number

UPDATE