Reihe Automated Reasoning Series PitonA Mechanically Verified Assembly-Level LanguageJ Strother MooreSpringer NetherlandSoftcover201353,49 € Resolution Proof SystemsAn Algebraic TheoryZ. StachniakSpringer NetherlandeBook201296,29 € Automated ReasoningEssays in Honor of Woody BledsoeSpringer NetherlandeBook201296,29 € Automated ReasoningEssays in Honor of Woody BledsoeSpringer NetherlandSoftcover2012106,99 € Resolution Proof SystemsAn Algebraic TheoryZ. StachniakSpringer NetherlandSoftcover2011106,99 € PitonA Mechanically Verified Assembly-Level LanguageJ Strother MooreSpringer NetherlandeBook200753,49 € Resolution Proof SystemsAn Algebraic TheoryZ. StachniakSpringer NetherlandHardcover1996106,99 € PitonA Mechanically Verified Assembly-Level LanguageJ Strother MooreSpringer NetherlandHardcover199685,59 € Automated Development of Fundamental Mathematical Theories Art QuaifeSpringer NetherlandHardcover1992235,39 €
