Buchportal für Bücher die eine ISBN tragen.

Reihe Applied Logic Series

Buchcover Abduction and Induction

Abduction and Induction

Essays on their Relation and Integration

Springer Netherland

Buchcover Intellectics and Computational Logic

Intellectics and Computational Logic

Papers in Honor of Wolfgang Bibel

Springer Netherland

Buchcover Frontiers in Belief Revision

Frontiers in Belief Revision

Springer Netherland

Buchcover The Death of Argument

The Death of Argument

Fallacies in Agent Based Reasoning

Springer Netherland

Buchcover Proof Theory of Modal Logic

Proof Theory of Modal Logic

Springer Netherland

Buchcover An Introduction to Mathematical Logic and Type Theory

An Introduction to Mathematical Logic and Type Theory

To Truth Through Proof

Peter B. Andrews

Springer Netherland

Buchcover Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implemen

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implemen

Springer Netherland

Buchcover Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implemen

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implemen

Springer Netherland

Buchcover Foundations of Rational Agency

Foundations of Rational Agency

Springer Netherland

Buchcover Fuzzy Sets, Logics and Reasoning about Knowledge

Fuzzy Sets, Logics and Reasoning about Knowledge

Springer Netherland

74 Treffer 1 2 3 4 5 ...