Clausal Theory of Types

a najít nejvýhodnější cenu za celou objednávku
Knihu koupíte v 1 e-shopu

Pokud se vám po kliknutí na tlačítko "Do obchodu" nezobrazí stránka knihy ve vybraném e-shopu, je třeba vypnout AdBlock ve vašem prohlížeči pro naši stránku. Návod na vypnutí je například na adrese https://o.seznam.cz/jak-vypnout-adblock/#1.

Clausal Theory of Types koupíte na Bookshop.cz
Bookshop.cz
906 Kč
Není skladem
a 1 další varianta  
Clausal Theory of Types koupíte na Bookshop.cz
Bookshop.cz
2 000 Kč
Není skladem

Krátký popis
In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.

Zobrazit celý popis
Výběr knih vydavatele Cambridge University Press

Zobrazit všechny knihy vydavatele Cambridge University Press
Naše tipy


Zamilovaný kluk
Langley Vaughnová se kdysi během jediného týdne zamilovala – a zaplatila za to zlomeným srdcem. Iker Alvarez odešel s tajemstvími a přesvědčením, že je to pro její dobro. Devět měsíců se Langley snažila jít dál, jenže Iker se vrací – odhodlaný napravit svou největší chybu. Problém je, že neví, jak získat dívku, kterou kdysi ztratil.