Connaissez-vous déjà notre service clients professionnels ? Nous nous ferons un plaisir de vous conseiller.
Focus
Domaines
Étudier le droit
Publications
Littérature
Bases de données
Services
Services pour
Corporate Books
Solutions d'édition
Actualités
Auteurs
Éditions
Qui sommes-nous?
Thèmes
En savoir plus
Shop
Droit suisse
Droit étranger
À propos de notre boutique
Proof Theory and Logic Programming
Proof Theory and Logic Programming
Computation as Proof Search
De:Miller Dale
Informations bibliographiques
novembre 2025, Anglais
Cambridge Academic
978-1-009-56129-7
Sommaire
Mots-clés
Informations bibliographiques
novembre 2025, Anglais
Cambridge Academic
978-1-009-56129-7
Sommaire
Mots-clés
Autres titres sur ce thème
Artificial Intelligence and Machine Learning for Real-world Applications
A Beginner's Guide with Case Studies
Taylor and Francis, 2025
978-1-032-87345-9
env. 145.00 CHF
disponible dès octobre 2025
From Street-smart to Web-wise®
A Cyber Safety Training Program Built for Teachers and Designed for Children (Book 4)
Taylor and Francis, 2025
978-1-032-73864-2
env. 79.00 CHF
disponible dès août 2025
Learn Calculus with Python
Turnaround, 2026
978-1-7185-0448-6
env. 57.90 CHF
disponible dès janvier 2026
Decision Support System and Automated Negotiations
Taylor and Francis, 2025
978-1-032-52759-8
76.00 CHF
livrable dans env. 10-20 jours
The Rust Programming Language, 3rd Edition
Turnaround, 2026
978-1-7185-0444-8
env. 69.00 CHF
disponible dès janvier 2026
Scalable Artificial Intelligence for Healthcare
Advancing AI Solutions for Global Health Challenges
Taylor and Francis, 2025
978-1-032-76959-2
79.00 CHF
livrable dans env. 10-20 jours
Python Experiments in Physics and Astronomy
Taylor and Francis, 2025
978-1-032-98189-5
env. 135.00 CHF
disponible dès mai 2025
Copula Additive Distributional Regression Using R
Taylor and Francis, 2025
978-1-032-97311-1
env. 125.00 CHF
disponible dès juin 2025
Python for Mathematics
Taylor and Francis, 2025
978-1-032-58817-9
env. 239.00 CHF
disponible dès mai 2025
CyberMedics
Navigating AI and Security in the Medical Field
Taylor and Francis, 2025
978-1-032-84702-3
190.00 CHF
livrable dans env. 10-20 jours
Problem Solving with Python
Using Computational Thinking in Everyday Life
MIT Press, 2026
978-0-262-55284-4
env. 73.00 CHF
disponible dès janvier 2026