Reihe Applied Logic Series Analysis and Synthesis of LogicsHow to Cut and Paste Reasoning SystemsWalter CarnielliSpringer NetherlandSoftcover2010160,49 € Hybrid Logic and its Proof-Theory Torben BraünerSpringer NetherlandeBook201096,29 € Proof Theory for Fuzzy Logics George MetcalfeSpringer NetherlandSoftcover2010128,39 € Thirty Five Years of Automating Mathematics Springer NetherlandSoftcover2010106,99 € A Modern Perspective on Type TheoryFrom its Origins until TodayF.D. KamareddineSpringer NetherlandSoftcover2010139,09 € Reasoning RobotsThe Art and Science of Programming Robotic AgentsMichael ThielscherSpringer NetherlandSoftcover201053,49 € Proof Theory for Fuzzy Logics George MetcalfeSpringer NetherlandHardcover2008128,39 € Proof Theory for Fuzzy Logics George MetcalfeSpringer NetherlandeBook2008117,69 € Analysis and Synthesis of LogicsHow to Cut and Paste Reasoning SystemsWalter CarnielliSpringer NetherlandHardcover2008160,49 € Analysis and Synthesis of LogicsHow to Cut and Paste Reasoning SystemsWalter CarnielliSpringer NetherlandeBook2008149,79 €110 Treffer 1 2 3 4 5 6 7 8 9 10 ...
