Kód: 48601342
Proof Theory and Logic Programming
Autor Dale Miller
Shows how computation can be understood as proof search across classical, intuitionistic, and linear logics via sequent calculus.
- Jazyk:
Angličtina - Väzba: Pevná
- Počet strán: 400
Nakladateľ: Cambridge University Press, 2025
- Viac informácií o knihe
Mohlo by sa vám tiež páčiť
-
The Half of It
21.04 € -11 % -
Proofs and Refutations
21.04 € -24 % -
Dustin Pedroia: The Inspirational Story of Baseball Superstar Dustin Pedroia
7.27 € -6 % -
Prompt Engineering im Geschäftsprozessmanagement
37.83 € -6 % -
Promuovere l'accesso all'istruzione per i bambini rifugiati in Sudafrica
29.43 € -14 % -
Educacion Para La Equidad de Genero
34.90 € -14 % -
ciudad y los muertos
9.50 € -7 % -
Proof of Work
22.45 € -14 % -
Prompt Execution
19.32 € -2 % -
Proper Names and Reference
120.90 € -
Promociones de ventas al consumidor
32.06 € -14 % -
Propozycja redukcji kosztów w MTS-MTO
29.43 € -14 % -
Promotional Pandemonium! Selling Stan Laurel & Oliver Hardy To Depression-Era America - Book Two
113.92 € -1 % -
promozione del benessere nei bambini. Allenare la mente felice nei contesti educativi
40.87 €
Darujte túto knihu ešte dnes
- Objednajte knihu a vyberte Zaslať ako darček.
- Obratom obdržíte darovací poukaz na knihu, ktorý môžete ihneď odovzdať obdarovanému.
- Knihu zašleme na adresu obdarovaného, o nič sa nestaráte.
Viac informácií o knihe Proof Theory and Logic Programming
Nákupom získate 186 bodov
Anotácia knihy
Shows how computation can be understood as proof search across classical, intuitionistic, and linear logics via sequent calculus.
Parametre knihy
Zaradenie knihy Knihy po nemecky Naturwissenschaften, Medizin, Informatik, Technik Informatik, EDV Programmiersprachen
77.09 €
- Celý názov: Proof Theory and Logic Programming
- Autor: Dale Miller
- Jazyk: Angličtina
- Väzba: Pevná
- Počet strán: 400
- EAN: 9781009561297
- ISBN: 1009561294
- ID: 48601342
- Nakladateľ: Cambridge University Press
- Hmotnosť: 612 g
- Dátum vydania: 30. November 2025
Obľúbené z iného súdka
-
The Rust Programming Language, 3rd Edition
41.17 € -29 % -
Crafting Interpreters
42.38 € -24 % -
Electronic Music and Sound Design - Theory and Practice with Max 8 - volume 3
54.42 € -2 % -
LLM Engineer's Handbook
55.33 € -2 % -
Software Architecture and Decision-Making: Leveraging Leadership, Technology, and Product Management to Build Great Products
37.32 € -2 % -
Learning Python
56.14 € -25 % -
Learning Go: An Idiomatic Approach to Real-World Go Programming
46.43 € -25 % -
C++20 - The Complete Guide
73.24 € -2 % -
Art of Computer Programming, The, Volumes 1-4B, Boxed Set
444.47 € -
C# 12 in a Nutshell: The Definitive Reference
49.26 € -24 % -
Kubernetes - Up and Running
56.14 € -25 % -
C++ Software Design
56.14 € -25 % -
The Missing README
21.04 € -29 % -
Node.js Design Patterns - Fourth Edition
50.88 € -1 % -
Soft Skills: The Software Developer's Life Manual
26.40 € -6 % -
Beautiful C++
37.02 € -14 % -
Effective C, 2nd Edition
42.38 € -26 % -
Eloquent Javascript, 4th Edition
34.59 € -28 % -
Spring Boot 3 and Spring Framework 6
42.28 € -25 % -
C++ Memory Management
39.15 € -1 % -
C# 14 and .NET 10 - Modern Cross-Platform Development Fundamentals - Tenth Edition
50.88 € -1 % -
Effective Typescript
42.38 € -24 % -
The Monumental Elden Ring
25.08 € -25 % -
100 Go Mistakes
44.81 € -14 % -
C++
49.16 € -25 % -
Building Evolutionary Architectures
56.14 € -25 % -
ASP.NET Core in Action, Third Edition
68.08 € -9 % -
Excellence in NLP and Life Coaching
14.05 € -24 % -
Node.js
35.40 € -25 % -
Working in Public: The Making and Maintenance of Open Source Software
16.18 € -25 % -
High Performance Python
46.43 € -25 % -
AI-Assisted Coding
35.40 € -25 % -
Python Basics
35.40 € -7 % -
Robust Python
39.55 € -25 % -
Introducing Python
35.50 € -24 % -
C++ High Performance
55.33 € -2 % -
Kotlin Coroutines
39.75 € -6 % -
We, Programmers
35.40 € -7 % -
Modern C++ Programming Cookbook - Third Edition
50.88 € -1 % -
Windows Security Internals with Powershell
41.17 € -29 % -
React Key Concepts - Second Edition
49.97 € -16 % -
Java: The Complete Reference, Thirteenth Edition
42.38 € -24 % -
Art of Unit Testing, The
61.30 € -4 % -
Hands-On RTOS with Microcontrollers - Second Edition
46.33 € -2 % -
Building Medallion Architectures
42.38 € -24 % -
Unreal Engine 5 Best Practices
41.78 € -2 % -
Practical C++ STL Programming
69.90 € -25 % -
Deciphering Object-Oriented Programming with C++
45.42 € -2 % -
The Official Raspberry Pi Handbook 2026
18.30 € -24 %
O tomto obchode
Nákupný poradca
Prehľady
Knihy podľa jazyka
Osobný odber Bratislava a 12744 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
24 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)