Heurist.org | Category: Discrete Mathematics

Discover (Random Books)

Old And The New Logic

Old And The New Logic

The Shadow Dreams

The Shadow Dreams

The Shadow Series (1)

Area 51: An Uncensored History of America's Top Secret Military Base

Area 51: An Uncensored History of America's Top Secret Military ...

Mastering Mathematica®: Programming Methods and Applications - Second Edition

Mastering Mathematica®: Programming Methods and Applications ...

John Walker Gray

The DevOps 2. 5 Toolkit: Monitoring, Logging, and Auto-Scaling Kubernetes: Making Resilient, Self-Adaptive, and Autonomous Kubernetes Clusters

The DevOps 2. 5 Toolkit: Monitoring, Logging, and Auto-Scaling ...

DevOps Tookit from Viktor Farcic (1)

Category: Discrete Mathematics

Advances in Natural Language Processing: 4th International Conference, EsTAL 2004, Alicante, Spain, October 20-22, 2004. Proceedings

Advances in Natural Language Processing: 4th International Conference, ...

José Luis Vicedo & Particio Martínez-Barco & Rafael Munoz & Maximiliano Saiz Noeda

Automatic Ambiguity Resolution in Natural Language Processing: An Empirical Approach

Automatic Ambiguity Resolution in Natural Language Processing: ...

Alexander Franz

Controlled Natural Language: Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers

Controlled Natural Language: Second International Workshop, ...

Michael Rosner & Norbert E Fuchs

Semantics-Oriented Natural Language Processing: Mathematical Models and Algorithms

Semantics-Oriented Natural Language Processing: Mathematical ...

Vladimir A. Fomichov

Geometry for Computer Graphics: Formulae, Examples and Proofs

Geometry for Computer Graphics: Formulae, Examples and Proofs

Cylindric-Like Algebras and Algebraic Logic

Cylindric-Like Algebras and Algebraic Logic

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

Universal Algebra for Computer Scientists

Universal Algebra for Computer Scientists

Wolfgang Wechler

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

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

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

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

Combinatorial and Geometric Structures and Their Applications

Combinatorial and Geometric Structures and Their Applications

Uncertain Projective Geometry: Statistical Reasoning for Polyhedral Object Reconstruction

Uncertain Projective Geometry: Statistical Reasoning for Polyhedral ...

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

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: 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: 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

Nonmonotonic Logic: Context-Dependent Reasoning

Nonmonotonic Logic: Context-Dependent Reasoning

V. Wiktor Marek & Miroslaw Truszczynski

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 ...

Case-Based Approximate Reasoning

Case-Based Approximate Reasoning

Eyke Hüllermeier