Reihe Applied Logic SerieseBooks × Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implemen Springer NetherlandeBook2013149,79 € Dynamic WorldsFrom the Frame Problem to Knowledge ManagementSpringer NetherlandeBook201396,29 € Fuzzy Sets, Logics and Reasoning about Knowledge Springer NetherlandeBook2013149,79 € Logical and Computational Aspects of Model-Based Reasoning Springer NetherlandeBook201296,29 € Labelled Deduction Springer NetherlandeBook201296,29 € Logic, Language and Computation Springer NetherlandeBook201296,29 € Multi-Dimensional Modal Logic Maarten MarxSpringer NetherlandeBook201296,29 € A Textbook of Belief DynamicsSolutions to exercisesSven Ove HanssonSpringer NetherlandeBook2012149,79 € Inference on the Low LevelAn Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of CognitionHannes LeitgebSpringer NetherlandeBook2012149,79 € Hybrid Logic and its Proof-Theory Torben BraünerSpringer NetherlandeBook201096,29 €35 Treffer 1 2 3 4
