Mathesis Universalis, Computability and ProofStefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. SchusterHäftad, 20201 299 kr
Mathesis Universalis, Computability and ProofPeter M. Schuster, Deniz Sarikaya, Sara Negri, Stefania Centrone E-bok20191 733 kr
Mathesis Universalis, Computability and ProofStefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. SchusterInbunden, 20191 299 kr
Del 12842Automated Reasoning with Analytic Tableaux and Related MethodsAnupam Das, Sara NegriHäftad, 2021561 kr