Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Programming with Higher-Order Logic

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Programming with Higher-Order Logic Dale Miller
Libristo kód: 01234526
Nakladatelství Cambridge University Press, červen 2012
Formal systems that describe computations over syntactic structures occur frequently in computer sci... Celý popis
? points 142 b
1 416 Kč
Skladem u dodavatele Odesíláme za 10-18 dnů

30 dní na vrácení zboží

Zákazníci také koupili

CAFE CREME 3 CAHIER D'EXERCICES Marcella Beacco di Giura / Kniha Brožovaná
common.buy 411 Kč
Będą z tego kłopoty. Dłuższa przerwa. Tom 1 Agata Przybyłek / Kniha Brožovaná
common.buy 208 Kč
Mein Gebet macht mich stark Stormie Omartian / E-kniha Adobe ePub DRM
common.buy 372 Kč
111 Orte auf Usedom, die man gesehen haben muss Thomas Fuchs / Kniha Brožovaná
common.buy 347 Kč
HOMMAGE A CHOPIN GUITARE ALEXANDRE TANSMAN Kniha binding.
common.buy 408 Kč
Chancenplaner: 60 Fragen für mehr Erfolg im Leben zum Ausfüllen - Motiv: Aquarellblumen Gerda Wagner / Kniha Brožovaná
common.buy 196 Kč
Tibetan Mantras for Turbulent Times, Audio-CD Deva Premal / Audio Audio CD
common.buy 570 Kč
Nacktes Leben T._O. Immisch / Kniha Pevná
common.buy 572 Kč
O CROCODILO O QUE NON LLE GUSTABA A AUGA GEMMA MERINO / Kniha Pevná
common.buy 293 Kč
Hansestadte und die Kontinentalsperre Walther Vogel / Kniha Brožovaná
common.buy 610 Kč
Deadly Class - 1988, Kinder ohne Heimat Rick Remender / Kniha Brožovaná
common.buy 325 Kč
Dieta sirtuinowa Kleine-Gunk Bernd / Kniha Brožovaná
common.buy 165 Kč
CULPA NUESTRA MERCEDES RON / Kniha Pevná
common.buy 521 Kč
Cuba: l'Insurection Cubaine de Fevrier 1895 A Mai 1896 Espinasse-Secondat-P / Kniha Brožovaná
common.buy 358 Kč

Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding, a notion that must be treated carefully at a computational level. This book aims to show that a programming language based on a simply typed version of higher-order logic provides an elegant, declarative means for providing such a treatment. Three broad topics are covered in pursuit of this goal. First, a proof-theoretic framework that supports a general view of logic programming is identified. Second, an actual language called

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Programming with Higher-Order Logic
Autor Dale Miller
Jazyk Angličtina
Vazba Kniha - Pevná
Datum vydání 2012
Počet stran 320
EAN 9780521879408
ISBN 052187940X
Libristo kód 01234526
Nakladatelství Cambridge University Press
Váha 616
Rozměry 160 x 237 x 23

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Objektově orientované programování (OOP)
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Biology of Blood-Sucking in Insects Michael Lehane / Kniha Brožovaná
common.buy 2 345 Kč
America and the Patterns of Chivalry John Fraser / Kniha Brožovaná
common.buy 1 110 Kč
Top
Grammar for English Language Teachers Martin Parrott / Kniha Brožovaná
common.buy 925 Kč
Harry Potter and the Prisoner of Azkaban Joanne Rowling / Kniha Pevná
common.buy 4 071 Kč
Power Michel Foucault / Kniha Brožovaná
common.buy 336 Kč
Top
Of Blood and Bones Kate Freuler / Kniha Brožovaná
common.buy 337 Kč
Fatal Blade Eric Thomson / Kniha Brožovaná
common.buy 382 Kč
Race Against Chaos Sticker Activity Book Kiel Phegley / Kniha Brožovaná
common.buy 170 Kč
Options Trading: How to Make Money in Less Than 7 Days (Quick Guide) Victor Lucas / Kniha Brožovaná
common.buy 354 Kč
Top
Geomorphia Kerby Rosanes / Kniha Brožovaná
common.buy 153 Kč
Top
250 Brief, Creative & Practical Art Therapy Techniques250 Brief, Creative & Practical Art Therapy Techniques Susan Buchalter / Kniha Brožovaná
common.buy 599 Kč
My Reading Life: A Book Journal Anne Bogel / Kniha Pevná
common.buy 334 Kč
Amazing Butterflies and Flowers in Large Designs: Simple Flower and Butterfly Designs Adult Coloring Book Mindful Coloring Books / Kniha Brožovaná
common.buy 176 Kč
Stalin C. J. Read / Kniha Pevná
common.buy 4 968 Kč
Born a New! What Now For You? Jimmy H Hampton / Kniha Brožovaná
common.buy 236 Kč
Top
That Time I Got Reincarnated as a Slime, Vol. 1 Fuse / Kniha Brožovaná
common.buy 333 Kč
Molecular Mechanisms of Body Water Homeostasis Carolyn M. Ecelbarger / Kniha Brožovaná
common.buy 996 Kč
Top
The Greater Key of Solomon: The Grimoire of Solomon Samuel Mathers / Kniha Brožovaná
common.buy 150 Kč
Simpsons Secret James Hicks / Kniha Brožovaná
common.buy 308 Kč
Becoming Michelle Obama / Kniha Brožovaná
common.buy 276 Kč
Tommy Emmanuel's Fingerstyle Guitar Milestones Tim Pettingale / Kniha Brožovaná
common.buy 444 Kč
High 5 Daily Journal Mel Robbins / Kniha Pevná
common.buy 520 Kč
Art of Feefal Publishing 3dtotal / Kniha Pevná
common.buy 702 Kč
The Dragon's Promise LIM ELIZABETH / Kniha Brožovaná
common.buy 244 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?