Vlčí pouto: Po záplavě draků konečně osvěžující romantasy | RECENZE
Tenhle rok vyšly dvě vlčí romantasy, které mě nesmírně bavily. Jednou z...
4.7 z 5 hvězdiček
pevná vazba
Proof Theory and Logic Programming
Kniha ( pevná vazba )
- Produkt je nedostupný.
Při zaslání zboží balíčkem
K nákupu nad 699 Kč dárek zdarma v hodnotě 349 Kč
This book offers a principled view of programming, showing how computation arises from logic. It explores different logical and proof-theoretic systems as foundations for programming, providing a deeper understanding for readers interested in the theoretical underpinnings of computation and the logic programming paradigm.
K tomuto produktu zákazníci kupují
-
Bestseller Novinka Dívky v hlubinách
-
Bestseller Kyberpunková swingers party
-
Bestseller Kyberpunková swingers party
-
Bestseller Novinka A Court of Splintered Harmony
-
Bestseller Děs
-
Bestseller Andulčina andulata
-
Kyberpunková swingers party
-
Bestseller Novinka Insatiable: V poutech temnoty
-
Bestseller Připravujeme Na křídlech krve
-
Lunární kalendář Krásné paní s publikací 2027
-
Bestseller Novinka Než dohoří poslední svíce
-
Bestseller Novinka Horská bouda, která přežila
-
Bestseller Narozeninová elektronická dárková poukázka 500 Kč
5.0 z 5 hvězdiček
Voucher -
Bestseller Andulka Andula - Veselé příběhy na dobrou noc
-
Bestseller Novinka Harry Potter a Princ dvojí krve - ilustrované vydání
-
Bestseller Elektronická dárková poukázka 1000 Kč
5.0 z 5 hvězdiček
Voucher -
Bestseller Novinka V jiné lize
-
Bestseller Připravujeme Medúza
-
Bestseller Narozeninová elektronická dárková poukázka 1000 Kč
5.0 z 5 hvězdiček
Voucher -
Bestseller Novinka Tři zločiny na dvoře Karla IV.
-
Bestseller Novinka Posedlost
-
Bestseller Novinka Poslední slib
-
Bestseller Elektronická dárková poukázka 500 Kč
5.0 z 5 hvězdiček
Voucher -
Bestseller Paranormální vyšetřování - Nejstrašidelnější místa světa
This book offers a principled view of programming, showing how computation arises from logic. It explores different logical and proof-theoretic systems as foundations for programming, providing a deeper understanding for readers interested in the theoretical underpinnings of computation and the logic programming paradigm.
- kategorie
-
Knihy »
Cizojazyčná literatura »
English literature »
Nonfiction »
Science
- Témata
- Přidat téma
- Nakladatel
- Cambridge
- Rozměr
- 161 x 235 x 26
- jazyk
- angličtina
- Vazba
- pevná vazba
- Hmotnost
- 626 g
- isbn
- 978-1-00-956129-7
- Počet stran
- 334
- datum vydání
- 18.12.2025
- ean
- 9781009561297
Hodnocení a recenze čtenářů Nápověda
0.0 z 5 0 hodnocení čtenářů
0× 5 hvězdiček 0× 4 hvězdičky 0× 3 hvězdičky 0× 2 hvězdičky 0× 1 hvezdička
Přidejte své hodnocení knihy
Další knihy autora
-
Memorix Anatomy - 3. vydání
-
Proof
-
The Story of Proof
-
Proof
-
Age Proof
-
Proof of Heaven
-
Cambridge IGCSE and O Level Computer Science Algorithms, Programming and Logic Workbook
-
The Art of Logic
-
99 Variations on a Proof
-
Mathematical Logic
-
A First Course in Statistical Programming with R
-
Programming Language Pragmatics
-
Gödel's Proof
-
Game Theory
-
Game Theory
-
Design Theory
-
Bestseller Připravujeme Technomagická swingers party
-
Bestseller Připravujeme Den rozřazení
-
Vždycky upřímná Jiřina Bohdalová
-
Bestseller Novinka Bůh zášti
-
Václav Kadlec: Já to nevzdám!
-
Bestseller Připravujeme Puncovaný muž
-
Bestseller Připravujeme Dvůr roztříštěné harmonie
-
Bestseller Ve stínu jeřabiny - Díl první: Prokop (1938-1940)
Vývoj ceny Nápověda
Získejte přehled o vývoji ceny za posledních 60 dní.
Maloobchodní cena
Minimální prodejní cena:
0 Kč
Nápověda
Články, které stojí za pozornost
-
-
10 tipů na strašidelné čtení: Nesmrtelné klasiky i moderní horory
Pryč jsou dlouhé teplé letní večery, vládu už definitivně převzal...
-
Petra Dobrovská přivezla seniorům předvánoční radost. Standa Hložek je rozezpíval známými hity
Vánoce se pomalu blíží a s nimi také období, kdy bychom měli více myslet...
-
„Kdybych nepsala, měla bych květinové pole“ Anna Morse v Buď inspirující
Z příběhu, který málem skončil v šuplíku, se nakonec stal více než...
-
Knižní závisláci se chystají do Brna! Na jeden den ovládnou sál knižního veletrhu
Knižní závisláci, zbystřete! Největší knižní veletrh na Moravě se...
-
KONEČNĚ! Už víme, kdo si zahraje Violet a Xadena v seriálu Čtvrté křídlo
Fanoušci Čtvrtého křídla, TOHLE NENÍ CVIČENÍ! Po nekonečných...
-
Tihle hrdinové jsou chodící red flag! 5 říjnových dark romance novinek
Zapomeňte na romantická gesta, květiny a pohodové vztahy. V říjnu se totiž...
-
Mindf*ck série: pomstychtivá hrdinka, která vás dostane | RECENZE
Jsou ženské postavy, se kterými se ztotožníte, nebo je naopak chcete...
-
Den rozřazení: novinku ze světa Čtvrtého křídla si již můžete předobjednat v češtině
Fanoušci Čtvrtého křídla, máme pro vás skvělou zprávu! Chystaná novinka...
drmax.lol
knihydobrovsky
@knihydobrovskycz
@knihydobrovsky
