Fokusthemen
Publikationen
Services
Autorinnen/Autoren
Verlag
Shop
LEXIA
Zeitschriften
SachbuchLOKISemaphor
Logo
DE | FR
Newsletteraktion: Abonnieren Sie jetzt unseren Newsletter und sichern Sie sich bis zum 8. August 2025 10% Rabatt auf Ihre Onlinebestellungen. Infos und Anmeldung.
Proof Theory and Logic Programming
Proof Theory and Logic Programming

Proof Theory and Logic Programming

Computation as Proof Search
Buch (gebunden)ca. 99.00 CHF
erhältlich ab Dezember 2025

Bibliografische Angaben

Dezember 2025, Englisch
Cambridge Academic
978-1-009-56129-7

Inhaltsverzeichnis

Schlagworte

Weitere Titel zum Thema

Calculus for the Curious
Random House N.Y., 2026
978-1-7185-0448-6
ca. 57.90 CHF
erhältlich ab Januar 2026
The Pragmatic Programmer for Machine Learning
Engineering Analytics and Data Science Solutions
Taylor and Francis, 2025
978-0-367-25506-0
76.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Java Generics and Collections
Fundamentals and Recommended Practices
O'Reilly, 2025
978-1-09-813672-7
ca. 89.00 CHF
erhältlich ab Juni 2025
The SuperCollider Book, second edition
University Presses, 2025
978-0-262-04970-2
236.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Intelligent Systems of Computing and Informatics in Sustainable Urban ...
Taylor and Francis, 2025
978-1-032-84921-8
ca. 79.00 CHF
erhältlich ab Juli 2025
C++ Essentials For Dummies
Wiley, 2025
978-1-394-30788-3
22.90 CHF
lieferbar in ca. 10-20 Arbeitstagen
The Rust Programming Language, 3rd Edition
Random House N.Y., 2026
978-1-7185-0444-8
ca. 69.00 CHF
erhältlich ab Januar 2026
Embedded Systems Architecture
A Comprehensive Guide for Engineers and Programmers
Elsevier, 2025
978-0-443-27338-4
ca. 159.00 CHF
erhältlich ab November 2025
Code Chronicles
The Art of Storytelling in Software
Elsevier, 2026
978-0-443-29248-4
ca. 235.00 CHF
erhältlich ab Mai 2026