Heurist.org | Category: Logic

Discover (Random Books)

Software Architecture in Action: Designing and Executing Architectural Models With SysADL Grounded on the OMG SysML Standard

Software Architecture in Action: Designing and Executing Architectural ...

Flavio Oquendo & Jair Leite & Thaís Batista

Paul Klee: The Visible and the Legible

Paul Klee: The Visible and the Legible

Dao Companion to Daoist Philosophy

Dao Companion to Daoist Philosophy

The English Noun Phrase: The Nature of Linguistic Categorization

The English Noun Phrase: The Nature of Linguistic Categorization

Final Fantasy and Philosophy

Final Fantasy and Philosophy

Jason P. Blahuta & Michel S. Beaulieu

The Blackwell Philosophy and Pop Culture Series (24)

Category: Logic

Graph Structures for Knowledge Representation and Reasoning: 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers

Graph Structures for Knowledge Representation and Reasoning: ...

Madalina Croitoru & Pierre Marquis & Sebastian Rudolph & Gem Stapleton

Graph Structures for Knowledge Representation and Reasoning: 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers

Graph Structures for Knowledge Representation and Reasoning: ...

Madalina Croitoru & Pierre Marquis & Sebastian Rudolph & Gem Stapleton

Graph Structures for Knowledge Representation and Reasoning: 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers

Graph Structures for Knowledge Representation and Reasoning: ...

Michael Cochez & Madalina Croitoru & Pierre Marquis & Sebastian Rudolph

Graph Structures for Knowledge Representation and Reasoning: Second Interntional Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers

Graph Structures for Knowledge Representation and Reasoning: ...

Madalina Croitoru & Sebastian Rudolph & Nic Wilson & John Howse & Olivier Corby

Graph Structures for Knowledge Representation and Reasoning: Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers

Graph Structures for Knowledge Representation and Reasoning: ...

Madalina Croitoru & Sebastian Rudolph & Stefan Woltran & Christophe Gonzales

Graph-Based Representation and Reasoning: 26th International Conference on Conceptual Structures, ICCS 2021, Virtual Event, September 20–22, 2021, Proceedings

Graph-Based Representation and Reasoning: 26th International ...

Tanya Braun & Marcel Gehrke & Tom Hanika & Nathalie Hernandez

Grundlagen der Computerlinguistik: Mensch-Maschine-Kommunikation in natürlicher Sprache

Grundlagen der Computerlinguistik: Mensch-Maschine-K[..] in ...

Roland R. Hausser

Gödel '96

Gödel '96

Gödel, Tarski and the Lure of Natural Language: Logical Entanglement, Formalism Freeness

Gödel, Tarski and the Lure of Natural Language: Logical Entanglement, ...

Juliette Kennedy

Hegel, Nietzsche, and Philosophy: Thinking Freedom

Hegel, Nietzsche, and Philosophy: Thinking Freedom

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, the Netherlands, September 23 - 24, 1993. Selected Papers

Higher-Order Algebra, Logic, and Term Rewriting: First International ...

Jan Heering & Karl Meinke & Bernhard Möller & Tobias Nipkow

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers

Higher-Order Algebra, Logic, and Term Rewriting: Second International ...

Gilles Dowek & Jan Heering & Karl Meinke & Bernhard Möller

How Not to Be Wrong: The Power of Mathematical Thinking

How Not to Be Wrong: The Power of Mathematical Thinking

Jordan Ellenberg

How to Solve It: A New Aspect of Mathematical Method

How to Solve It: A New Aspect of Mathematical Method

György Pólya & John H. Conway

Husserl or Frege?: Meaning, Objectivity, and Mathematics

Husserl or Frege?: Meaning, Objectivity, and Mathematics

Claire Ortiz Hill & Guillermo E. Rosado Haddock

Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra

Ideals, Varieties, and Algorithms: An Introduction to Computational ...

David A. Cox & John Little & Donal O'Shea

Induction, Algorithmic Learning Theory, and Philosophy

Induction, Algorithmic Learning Theory, and Philosophy

Michèle Friend & Norma B. Goethe & Valentina S. Harizanov

Inference on the Low Level: An Investigation Into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition

Inference on the Low Level: An Investigation Into Deduction, ...

Infinity: A Very Short Introduction

Infinity: A Very Short Introduction

Ian Nicholas Stewart

Ingenuity in Mathematics

Ingenuity in Mathematics

Ross Honsberger