Heurist.org | Category: Discrete Mathematics

Discover (Random Books)

A First Course in Fuzzy and Neural Control

A First Course in Fuzzy and Neural Control

Hung T. Nguyen & Carol L. Walker & Elbert A. Walker & Nadipuram R. Prasad

Symmetries in Complex Analysis: Workshop on Several Complex Variables, Analysis on Complex Lie Groups and Homogeneous Spaces; October 17-29, 2005, ... Hangzhou, P. R

Symmetries in Complex Analysis: Workshop on Several Complex ...

Bruce Gilligan & Guy J. Roos

Liturgical Time Bombs in Vatican II: Destruction of the Faith Through Changes in Catholic Worship

Liturgical Time Bombs in Vatican II: Destruction of the Faith ...

The War Behind Me: Vietnam Veterans Confront the Truth About U.S. War Crimes

The War Behind Me: Vietnam Veterans Confront the Truth About ...

Logic and Information

Logic and Information

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