Mathesis Universalis, Computability and ProofStefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. SchusterHäftad1 285 kr
Mathesis Universalis, Computability and ProofStefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. SchusterInbunden1 285 kr
Del 12842Automated Reasoning with Analytic Tableaux and Related MethodsAnupam Das, Sara NegriHäftad556 kr