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

Reihe Applied Logic Series

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 Dynamic Worlds

From the Frame Problem to Knowledge Management

Springer Netherland

Buchcover Fuzzy Sets, Logics and Reasoning about Knowledge

Fuzzy Sets, Logics and Reasoning about Knowledge

Springer Netherland

Buchcover Hybrid Logic and its Proof-Theory

Hybrid Logic and its Proof-Theory

Torben Braüner

Springer Netherland

Buchcover Logical and Computational Aspects of Model-Based Reasoning

Logical and Computational Aspects of Model-Based Reasoning

Springer Netherland

Buchcover Labelled Deduction

Labelled Deduction

Springer Netherland

Buchcover Logic, Language and Computation

Logic, Language and Computation

Springer Netherland

Buchcover Multi-Dimensional Modal Logic

Multi-Dimensional Modal Logic

Springer Netherland

Buchcover A Textbook of Belief Dynamics

A Textbook of Belief Dynamics

Solutions to exercises

Sven Ove Hansson

Springer Netherland

110 Treffer 1 2 3 4 5 6 ...