Reihe Applied Logic SeriesBücher × Hybrid Logic and its Proof-Theory Torben BraünerSpringer NetherlandHardcover2010106,99 € Analysis and Synthesis of LogicsHow to Cut and Paste Reasoning SystemsWalter CarnielliSpringer NetherlandSoftcover2010160,49 € 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 € Analysis and Synthesis of LogicsHow to Cut and Paste Reasoning SystemsWalter CarnielliSpringer NetherlandHardcover2008160,49 € Rigid FlexibilityThe Logic of IntelligencePei WangSpringer NetherlandHardcover2006213,99 € Reasoning RobotsThe Art and Science of Programming Robotic AgentsMichael ThielscherSpringer NetherlandHardcover200553,49 €74 Treffer 1 2 3 4 5 6 7 ...
