Looks like you're in United States. You need a Philippines address to shop on our Philippines store. Go to our United States store to continue.
Computational Deduction and Formal Proofs
Kobo empowers book lovers to read more.
Be the first to rate and review this book!
Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin
PHP4,197.69
Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu
PHP2,582.99
Annie Foret, Glyn Morrill, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla
PHP3,228.89
Peter Höfner, Damien Pous, Georg Struth
PHP3,228.89
Ioannis Karydis, Spyros Sioutas, Peter Triantafillou, Dimitrios Tsoumakos
PHP2,582.99
Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman
PHP3,228.89
Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski
PHP3,228.89
Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch, Friedemann Bitsch
PHP3,228.89
Serafín Moral, Olivier Pivert, Daniel Sánchez, Nicolás Marín
PHP3,228.89
Alessandro Antonucci, Laurence Cholvy, Odile Papini
PHP3,228.89
Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz
PHP3,228.89
Adam Day, Michael Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander Melnikov, Frances Rosamond
PHP3,228.89
Martin Leucker, Camilo Rueda, Frank D. Valencia
PHP3,228.89
Reinhard German, Kai-Steffen Hielscher, Udo R. Krieger
PHP3,228.89
V.S. Subrahmanian, John P. Dickerson, Amy Sliva, Aaron Mannes, Jana Shakarian
PHP5,489.49
Roland Wagner, Josef Küng, Hendrik Decker, Abdelkader Hameurlain
PHP3,228.89
Serena Villata, Ana Bazzan, João Leite, Leendert van der Torre, Bo An
PHP3,228.89
