Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
first order theories of individual concepts and propositions
first order theories of individual concepts and propositions
First order theories - Decision Procedures
First order theories - Decision Procedures
First Order Logics (FOL) - UBC Department of Computer Science
First Order Logics (FOL) - UBC Department of Computer Science
First Order Logic Russell and Norvig: Chapters 8 and 9
First Order Logic Russell and Norvig: Chapters 8 and 9
First Order Logic
First Order Logic
First Order Logic
First Order Logic
First Day
First Day
Generic Sentences and Predication
Generic Sentences and Predication
Generative Story Worlds as Linear Logic Programs Chris Martens Jo˜ao F. Ferreira
Generative Story Worlds as Linear Logic Programs Chris Martens Jo˜ao F. Ferreira
Generative Fabrication Daniel Cardoso and Lawrence Sass Massachusetts Institute of Technology, USA
Generative Fabrication Daniel Cardoso and Lawrence Sass Massachusetts Institute of Technology, USA
Generating Natural Language Aggregations Using a Propositional Representation of Sets Susan Haller
Generating Natural Language Aggregations Using a Propositional Representation of Sets Susan Haller
Generating Natural Language Aggregations Using a Propositional Representation of Sets Abstract
Generating Natural Language Aggregations Using a Propositional Representation of Sets Abstract
Generalizing: The Need For Quantifers
Generalizing: The Need For Quantifers
Generalizing Boolean Satisfiability I: Background and Survey of Existing Work
Generalizing Boolean Satisfiability I: Background and Survey of Existing Work
Generalized elimination inferences, higher-level rules
Generalized elimination inferences, higher-level rules
Generalized Cantor Expansions, Joseph Galante Referee Report
Generalized Cantor Expansions, Joseph Galante Referee Report
GENERALIZED PLAN RECOGNITION
GENERALIZED PLAN RECOGNITION
Generality and Objectivity in Frege`s Foundations of Arithmetic
Generality and Objectivity in Frege`s Foundations of Arithmetic
Generality and Equivalence Relations in Default Logic Katsumi Inoue Chiaki Sakama
Generality and Equivalence Relations in Default Logic Katsumi Inoue Chiaki Sakama
Generalised Proof-Theory for Multi-Agent Autoepistemic
Generalised Proof-Theory for Multi-Agent Autoepistemic
general principles, which are known, lead to specific conclusions
general principles, which are known, lead to specific conclusions
General Ideas for Teaching Philosophy Paper
General Ideas for Teaching Philosophy Paper
General Domain Circumscription and its First-Order Reduction Patrick Doherty , Witold Lukaszewicz
General Domain Circumscription and its First-Order Reduction Patrick Doherty , Witold Lukaszewicz
General Domain Circumscription and its First-Order Reduction
General Domain Circumscription and its First-Order Reduction