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 - Vazba: Pevná
- Počet stran: 400
Nakladatelství: Cambridge University Press, 2025
- Více informací o knize
Mohlo by se vám také líbit
-
The Half of It
375 Kč -
Proofs and Refutations
475 Kč -
Dustin Pedroia: The Inspirational Story of Baseball Superstar Dustin Pedroia
176 Kč -
Prompt Engineering im Geschäftsprozessmanagement
865 Kč -
Promuovere l'accesso all'istruzione per i bambini rifugiati in Sudafrica
671 Kč -
Promociones de ventas al consumidor
732 Kč -
Educacion Para La Equidad de Genero
794 Kč -
ciudad y los muertos
231 Kč -
Proof of Work
512 Kč -
Prompt Execution
467 Kč -
Proper Names and Reference
2924 Kč -
Propozycja redukcji kosztów w MTS-MTO
671 Kč -
Promotional Pandemonium! Selling Stan Laurel & Oliver Hardy To Depression-Era America - Book Two
2755 Kč -
promozione del benessere nei bambini. Allenare la mente felice nei contesti educativi
988 Kč
Dárkový poukaz: Radost zaručena
- Darujte poukaz v libovolné hodnotě a my se postaráme o zbytek.
- Poukaz se vztahuje na celou naši nabídku.
- Elektronický poukaz vytisknete z e-mailu a můžete ihned darovat.
- Platnost poukazu je 12 měsíců od data vystavení.
Více informací o knize Proof Theory and Logic Programming
Nákupem získáte 187 bodů
Anotace knihy
Shows how computation can be understood as proof search across classical, intuitionistic, and linear logics via sequent calculus.
Parametry knihy
Zařazení knihy Knihy v němčině Naturwissenschaften, Medizin, Informatik, Technik Informatik, EDV Programmiersprachen
1865 Kč
- Plný název: Proof Theory and Logic Programming
- Autor: Dale Miller
- Jazyk: Angličtina
- Vazba: Pevná
- Počet stran: 400
- EAN: 9781009561297
- ISBN: 1009561294
- ID: 48601342
- Nakladatelství: Cambridge University Press
- Hmotnost: 612 g
- Datum vydání: 30. November 2025
Oblíbené z jiného soudku
-
The Rust Programming Language, 3rd Edition
925 Kč -
Effective C, 2nd Edition
956 Kč -
Electronic Music and Sound Design - Theory and Practice with Max 8 - volume 3
1317 Kč -
Crafting Interpreters
956 Kč -
LLM Engineer's Handbook
1617 Kč -
Software Architecture and Decision-Making: Leveraging Leadership, Technology, and Product Management to Build Great Products
857 Kč -
Design Patterns in Modern C++20
723 Kč -
Learning Python
1268 Kč -
Learning Go: An Idiomatic Approach to Real-World Go Programming
1124 Kč -
C++20 - The Complete Guide
1682 Kč -
Art of Computer Programming, The, Volumes 1-4B, Boxed Set
5946 Kč -
C# 12 in a Nutshell: The Definitive Reference
1112 Kč -
C++ Software Design
1268 Kč -
The Missing README
473 Kč -
Node.js Design Patterns - Fourth Edition
1167 Kč -
Soft Skills: The Software Developer's Life Manual
604 Kč -
Beautiful C++
845 Kč -
Eloquent Javascript, 4th Edition
779 Kč -
Spring Boot 3 and Spring Framework 6
956 Kč -
Kubernetes - Up and Running
1268 Kč -
C++ Memory Management
898 Kč -
C# 14 and .NET 10 - Modern Cross-Platform Development Fundamentals - Tenth Edition
1230 Kč -
Effective Typescript
956 Kč -
The Monumental Elden Ring
567 Kč -
100 Go Mistakes
1125 Kč -
C++
1111 Kč -
Building Evolutionary Architectures
1268 Kč -
ASP.NET Core in Action, Third Edition
1555 Kč -
Excellence in NLP and Life Coaching
316 Kč -
Node.js
800 Kč -
Working in Public: The Making and Maintenance of Open Source Software
365 Kč -
High Performance Python
1049 Kč -
AI-Assisted Coding
1246 Kč -
Python Basics
857 Kč -
Robust Python
894 Kč -
Introducing Python
801 Kč -
C++ High Performance
1270 Kč -
Kotlin Coroutines
961 Kč -
We, Programmers
811 Kč -
Modern C++ Programming Cookbook - Third Edition
1167 Kč -
Windows Security Internals with Powershell
925 Kč -
React Key Concepts - Second Edition
1208 Kč -
Java: The Complete Reference, Thirteenth Edition
956 Kč -
Art of Unit Testing, The
1327 Kč -
Hands-On RTOS with Microcontrollers - Second Edition
1064 Kč -
Building Medallion Architectures
966 Kč -
Unreal Engine 5 Best Practices
961 Kč -
Practical C++ STL Programming
1579 Kč -
Deciphering Object-Oriented Programming with C++
1043 Kč
O tomto obchodě
Nákupní rádce
Přehledy
Knihy podle jazyka
Osobní odběr Praha, Brno a 47512 dalších
Copyright ©2008-26 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Vrácení do měsíce
571 999 099 (8-15.30h)