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č Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 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 144 b
1 435 Kč
Skladem u dodavatele Odesíláme za 14-21 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Będą z tego kłopoty. Dłuższa przerwa. Tom 1 Agata Przybyłek / Kniha Brožovaná
common.buy 222 Kč
111 Orte auf Usedom, die man gesehen haben muss Thomas Fuchs / Kniha Brožovaná
common.buy 346 Kč
HOMMAGE A CHOPIN GUITARE ALEXANDRE TANSMAN Kniha binding.
common.buy 387 Kč
Mein Gebet macht mich stark Stormie Omartian / E-kniha Adobe ePub DRM
common.buy 372 Kč
Ci?ncia no Singular Antonio Amorim Da Costa / Kniha Brožovaná
common.buy 907 Kč
CAFE CREME 3 CAHIER D'EXERCICES Marcella Beacco di Giura / Kniha Brožovaná
common.buy 408 Kč
Leer y aprender Lorenzo Guerrero / Kniha Brožovaná
common.buy 225 Kč
Stiefel Wandkarte Miniformat Die Erde, physisch, mit Metallstäben / Tiskovina Mapa
common.buy 267 Kč
Hansestadte und die Kontinentalsperre Walther Vogel / Kniha Brožovaná
common.buy 719 Kč
Cuba: l'Insurection Cubaine de Fevrier 1895 A Mai 1896 Espinasse-Secondat-P / Kniha Brožovaná
common.buy 316 Kč
Guide de conversation Francais-Chinois et mini dictionnaire de 250 mots Andrey Taranov / Kniha Brožovaná
common.buy 243 Kč
Chancenplaner: 60 Fragen für mehr Erfolg im Leben zum Ausfüllen - Motiv: Aquarellblumen Gerda Wagner / Kniha Brožovaná
common.buy 201 Kč
Top
CULPA NUESTRA MERCEDES RON / Kniha Pevná
common.buy 518 Kč
Dieta sirtuinowa Kleine-Gunk Bernd / Kniha Brožovaná
common.buy 171 Kč
Deadly Class - 1988, Kinder ohne Heimat Rick Remender / Kniha Brožovaná
common.buy 399 Kč
O CROCODILO O QUE NON LLE GUSTABA A AUGA GEMMA MERINO / Kniha Pevná
common.buy 292 Kč
Nacktes Leben T._O. Immisch / Kniha Pevná
common.buy 572 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

Grammar for English Language Teachers Martin Parrott / Kniha Brožovaná
common.buy 979 Kč
Biology of Blood-Sucking in Insects Michael Lehane / Kniha Brožovaná
common.buy 2 409 Kč
America and the Patterns of Chivalry John Fraser / Kniha Brožovaná
common.buy 1 074 Kč
Harry Potter and the Prisoner of Azkaban Joanne Rowling / Kniha Pevná
common.buy 4 168 Kč
Top
That Time I Got Reincarnated as a Slime, Vol. 1 Fuse / Kniha Brožovaná
common.buy 265 Kč
Top
Geomorphia Kerby Rosanes / Kniha Brožovaná
common.buy 161 Kč
Top
250 Brief, Creative & Practical Art Therapy Techniques250 Brief, Creative & Practical Art Therapy Techniques Susan Buchalter / Kniha Brožovaná
common.buy 615 Kč
Amazing Butterflies and Flowers in Large Designs: Simple Flower and Butterfly Designs Adult Coloring Book Mindful Coloring Books / Kniha Brožovaná
common.buy 186 Kč
Top
The Greater Key of Solomon: The Grimoire of Solomon Samuel Mathers / Kniha Brožovaná
common.buy 154 Kč
Born a New! What Now For You? Jimmy H Hampton / Kniha Brožovaná
common.buy 243 Kč
Top
Adult Piano Adventures All-In-One Book 1 Nancy Faber / Kniha Kroužková
common.buy 542 Kč
Sue a Little Heroine L. T. Meade / Kniha Pevná
common.buy 770 Kč
Stalin C. J. Read / Kniha Pevná
common.buy 5 507 Kč
Molecular Mechanisms of Body Water Homeostasis Carolyn M. Ecelbarger / Kniha Brožovaná
common.buy 1 023 Kč
Fireball Robert Matzen / Kniha Brožovaná
common.buy 316 Kč
Top
Promise of Fire Amanda Bouchet / Kniha Brožovaná
common.buy 243 Kč
Oxford Lectures on Literature, 1908-1922 Anonymous / Kniha Pevná
common.buy 792 Kč
Top
Connolly Tarot Deck Eileen Connolly / Tiskovina Karty
common.buy 599 Kč
Options Trading: How to Make Money in Less Than 7 Days (Quick Guide) Victor Lucas / Kniha Brožovaná
common.buy 363 Kč
Race Against Chaos Sticker Activity Book Kiel Phegley / Kniha Brožovaná
common.buy 174 Kč
Art of Feefal Publishing 3dtotal / Kniha Pevná
common.buy 734 Kč
Top
High 5 Daily Journal Mel Robbins / Kalendář/Diář Diář
common.buy 445 Kč
Fatal Blade Eric Thomson / Kniha Brožovaná
common.buy 392 Kč
Tommy Emmanuel's Fingerstyle Guitar Milestones Tim Pettingale / Kniha Brožovaná
common.buy 456 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?