Heurist.org | Category: Discrete Mathematics

Discover (Random Books)

Defeating Jihad: The Winnable War

Defeating Jihad: The Winnable War

Sebastian Gorka

Potentialities: Collected Essays in Philosophy

Potentialities: Collected Essays in Philosophy

Giorgio Agamben & Daniel Heller-Roazen

The 2001 Anthrax Deception: The Case for a Domestic Conspiracy

The 2001 Anthrax Deception: The Case for a Domestic Conspiracy

Graeme MacQueen

Aftermath: Seven Secrets of Wealth Preservation in the Coming Chaos

Aftermath: Seven Secrets of Wealth Preservation in the Coming ...

Semantic Methods for Execution-Level Business Process Modeling: Modeling Support Through Process Verification and Service Composition

Semantic Methods for Execution-Level Business Process Modeling: ...

Category: Discrete Mathematics

Knowledge Engineering and Semantic Web: 8th International Conference, KESW 2017, Szczecin, Poland, November 8-10, 2017, Proceedings

Knowledge Engineering and Semantic Web: 8th International Conference, ...

Przemysław Różewski & Christoph Lange

Readings in Formal Epistemology: Sourcebook

Readings in Formal Epistemology: Sourcebook

Horacio Arló-Costa & Vincent F. Hendricks & Johan Van Benthem

Business Process Management: 17th International Conference, BPM 2019, Vienna, Austria, September 1–6, 2019, Proceedings

Business Process Management: 17th International Conference, ...

Thomas Hildebrandt & Boudewijn F. van Dongen & Maximilian Röglinger & Jan Mendling

Case-Based Approximate Reasoning

Case-Based Approximate Reasoning

Eyke Hüllermeier

Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

Mechanizing Mathematical Reasoning: Essays in Honor of Jörg ...

Nonmonotonic Logic: Context-Dependent Reasoning

Nonmonotonic Logic: Context-Dependent Reasoning

V. Wiktor Marek & Miroslaw Truszczynski

Graph-Based Representation and Reasoning: 21st International Conference on Conceptual Structures, ICCS 2014, Iaşi, Romania, July 27-30, 2014, Proceedings

Graph-Based Representation and Reasoning: 21st International ...

Nathalie Hernandez & Robert Jäschke & Madalina Croitoru

Graph-Based Representation and Reasoning: 23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 20-22, 2018, Proceedings

Graph-Based Representation and Reasoning: 23rd International ...

Peter Chapman & Dominik Endres & Nathalie Pernelle

Graph-Based Representation and Reasoning: 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016, Proceedings

Graph-Based Representation and Reasoning: 22nd International ...

Ollivier Haemmerlé & Gem Stapleton & Catherine Faron Zucker

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

Uncertain Projective Geometry: Statistical Reasoning for Polyhedral Object Reconstruction

Uncertain Projective Geometry: Statistical Reasoning for Polyhedral ...

Combinatorial and Geometric Structures and Their Applications

Combinatorial and Geometric Structures and Their Applications

Controlled Natural Language: Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009, Revised Papers

Controlled Natural Language: Workshop on Controlled Natural ...

Norbert E. Fuchs

Constraint Solving and Language Processing: First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers

Constraint Solving and Language Processing: First International ...

Henning Christiansen & Peter Rossen Skadhauge & Jørgen Villadsen

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

Universal Algebra for Computer Scientists

Universal Algebra for Computer Scientists

Wolfgang Wechler

Cylindric-Like Algebras and Algebraic Logic

Cylindric-Like Algebras and Algebraic Logic

Hajnal Andréka & Miklós Ferenczi & István Németi

Geometry for Computer Graphics: Formulae, Examples and Proofs

Geometry for Computer Graphics: Formulae, Examples and Proofs

Semantics-Oriented Natural Language Processing: Mathematical Models and Algorithms

Semantics-Oriented Natural Language Processing: Mathematical ...

Vladimir A. Fomichov