Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Alfred Tarski - Collected Papers
Alfred Tarski Collected Papers Anglais 01.01.2019 Livre Relié Fr. 207.00 6-7 semaines
Davi A Reid, David A Reid, Michael de Villiers, Gila Hanna, David A. Reid - Proof Technology in Mathematics Research and Teaching
Davi A Reid, David A Reid, Michael de Villiers, Gila Hanna, David A. Reid Proof Technology in Mathematics Research and Teaching Anglais 31.10.2019 Livre Relié Fr. 189.00 6-7 semaines
Gian Luca Pozzato, Gian Luca Pozzato, Uustalu, Tarmo Uustalu - Automated Reasoning with Analytic Tableaux and Related Methods
Gian Luca Pozzato, Gian Luca Pozzato, Uustalu, Tarmo Uustalu Automated Reasoning with Analytic Tableaux and Related Methods Anglais 04.12.2025 Livre de poche Fr. 56.90 6-7 semaines
Renate A Schmidt, Christoph Benzmüller, Marijn Heule, Marijn J. H. Heule, Marijn J.H. Heule, Marijn J H Heule... - Automated Reasoning
Renate A Schmidt, Christoph Benzmüller, Marijn Heule, Marijn J. H. Heule, Marijn J.H. Heule, Marijn J H Heule... Automated Reasoning Anglais 05.09.2024 Livre de poche Fr. 56.90 6-7 semaines
Artur Jez, Artur Jeż, Otop, Jan Otop - Fundamentals of Computation Theory
Artur Jez, Artur Jeż, Otop, Jan Otop Fundamentals of Computation Theory Anglais 20.11.2025 Livre de poche Fr. 103.00 6-7 semaines
Antonsen, Roger Antonsen - Logical Methods: The Art of Thinking Abstractly and Mathematically
Antonsen, Roger Antonsen Logical Methods: The Art of Thinking Abstractly and Mathematically Anglais 24.01.2021 Livre Broché Fr. 56.90 6-7 semaines
Martin Aher, Danie Hole, Daniel Hole, Emil Je¿ábek, Emil Jerábek, Emil Jeřábek... - Logic, Language, and Computation
Martin Aher, Danie Hole, Daniel Hole, Emil Je¿ábek, Emil Jerábek, Emil Jeřábek... Logic, Language, and Computation Anglais 01.01.2015 Livre de poche Fr. 70.00 6-7 semaines
de Queiroz, Ruy De Queiroz, Dexter Kozen - Logic, Language, Information, and Computation
de Queiroz, Ruy De Queiroz, Dexter Kozen Logic, Language, Information, and Computation Anglais 07.09.2025 Livre de poche Fr. 92.00 6-7 semaines
Arnold Beckmann, Florin Manea, Isabel Oitavem - Crossroads of Computability and Logic: Insights, Inspirations, and Innovations
Arnold Beckmann, Florin Manea, Isabel Oitavem Crossroads of Computability and Logic: Insights, Inspirations, and Innovations Anglais 16.07.2025 Livre de poche Fr. 169.00 6-7 semaines
Ryo Hatano, Hiroakira Ono, Katsuhiko Sano - Exploring Negation, Modality and Proof
Ryo Hatano, Hiroakira Ono, Katsuhiko Sano Exploring Negation, Modality and Proof Anglais Livre Relié Fr. 215.00 Paraît le 27.12.2025