Focus
Publications
Services
Auteurs
Éditions
Shop
LEXIA
Revues
Livres spécialisésLOKISemaphor
Logo
DE | FR
Action newsletter : Abonnez-vous dès maintenant à notre newsletter et bénéficiez de 10 % de réduction sur vos commandes en ligne jusqu’au 8 août 2025. Infos et inscription.
Proof Theory and Logic Programming
Proof Theory and Logic Programming

Proof Theory and Logic Programming

Computation as Proof Search
Livre (relié)env. 99.00 CHF
disponible dès décembre 2025

Informations bibliographiques

décembre 2025, Anglais
Cambridge Academic
978-1-009-56129-7

Sommaire

Mots-clés

Autres titres sur ce thème

Intelligent Systems of Computing and Informatics in Sustainable Urban ...
Taylor and Francis, 2025
978-1-032-84921-8
env. 79.00 CHF
disponible dès juillet 2025
The Garbage Collection Handbook
The Art of Automatic Memory Management
Taylor and Francis, 2026
978-1-03-223178-5
env. 75.00 CHF
disponible dès février 2026
The Rust Programming Language Workbook
Turnaround, 2026
978-1-7185-0418-9
env. 59.50 CHF
disponible dès janvier 2026
Code Chronicles
The Art of Storytelling in Software
Elsevier, 2026
978-0-443-29248-4
env. 235.00 CHF
disponible dès mai 2026
Artificial Intelligence for Cyber Security and Industry 4.0
Taylor and Francis, 2025
978-1-032-62146-3
190.00 CHF
livrable dans env. 10-20 jours
Think STATS
Exploratory Data Analysis
O'Reilly, 2025
978-1-0981-9025-5
106.00 CHF
disponible de suite
Computer Architecture
A Quantitative Approach
Elsevier, 2025
978-0-443-15406-5
env. 139.00 CHF
disponible dès juin 2025
Tcl/Tk
A Developer's Guide
Elsevier, 2026
978-0-443-26556-3
env. 135.00 CHF
disponible dès février 2026
RISC-V System-On-Chip Design
Elsevier, 2025
978-0-323-99498-9
env. 129.00 CHF
disponible dès juillet 2025
Methods and Applications of Autonomous Experimentation
Taylor and Francis, 2025
978-1-03-241753-0
env. 85.00 CHF
disponible dès juillet 2025