Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Programming with Higher-Order Logic

Limba englezăengleză
Carte Copertă tare
Carte Programming with Higher-Order Logic Dale Miller
Codul Libristo: 01234526
Editura Cambridge University Press, iunie 2012
Formal systems that describe computations over syntactic structures occur frequently in computer sci... Descrierea completă
? points 149 b
325.97 lei
În depozitul extern Expediem în 10-18 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Będą z tego kłopoty. Dłuższa przerwa. Tom 1 Agata Przybyłek / Carte Carte broșată
common.buy 50.07 lei
Mein Gebet macht mich stark Stormie Omartian / E-book Adobe ePub DRM
common.buy 81.35 lei
111 Orte auf Usedom, die man gesehen haben muss Thomas Fuchs / Carte Carte broșată
common.buy 85.87 lei
Guide de conversation Francais-Chinois et mini dictionnaire de 250 mots Andrey Taranov / Carte Carte broșată
common.buy 57.52 lei
CAFE CREME 3 CAHIER D'EXERCICES Marcella Beacco di Giura / Carte Carte broșată
common.buy 89.23 lei
Cuba: l'Insurection Cubaine de Fevrier 1895 A Mai 1896 Espinasse-Secondat-P / Carte Carte broșată
common.buy 71.90 lei
HOMMAGE A CHOPIN GUITARE ALEXANDRE TANSMAN Carte binding.
common.buy 82.61 lei
Dieta sirtuinowa Kleine-Gunk Bernd / Carte Carte broșată
common.buy 38.20 lei
Ci?ncia no Singular Antonio Amorim Da Costa / Carte Carte broșată
common.buy 214.05 lei
Chancenplaner: 60 Fragen für mehr Erfolg im Leben zum Ausfüllen - Motiv: Aquarellblumen Gerda Wagner / Carte Carte broșată
common.buy 47.44 lei
Nacktes Leben T._O. Immisch / Carte Copertă tare
common.buy 140.56 lei
Top
CULPA NUESTRA MERCEDES RON / Carte Copertă tare
common.buy 104.76 lei
O CROCODILO O QUE NON LLE GUSTABA A AUGA GEMMA MERINO / Carte Copertă tare
common.buy 67.28 lei
Hansestadte und die Kontinentalsperre Walther Vogel / Carte Carte broșată
common.buy 156.94 lei
Deadly Class - 1988, Kinder ohne Heimat Rick Remender / Carte Carte broșată
common.buy 81.98 lei

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

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Programming with Higher-Order Logic
Autor Dale Miller
Limba engleză
Legare Carte - Copertă tare
Data publicării 2012
Număr pagini 320
EAN 9780521879408
ISBN 052187940X
Codul Libristo 01234526
Editura Cambridge University Press
Greutatea 616
Dimensiuni 160 x 237 x 23

Categorii

Computing & Information Technology > Computer programming / software engineering > Object-oriented programming (OOP)
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Biology of Blood-Sucking in Insects Michael Lehane / Carte Carte broșată
common.buy 562.50 lei
America and the Patterns of Chivalry John Fraser / Carte Carte broșată
common.buy 266.23 lei
Grammar for English Language Teachers Martin Parrott / Carte Carte broșată
common.buy 252.90 lei
Harry Potter and the Prisoner of Azkaban Joanne Rowling / Carte Copertă tare
common.buy 1 034.72 lei
Amazing Butterflies and Flowers in Large Designs: Simple Flower and Butterfly Designs Adult Coloring Book Mindful Coloring Books / Carte Carte broșată
common.buy 43.98 lei
Top
Of Blood and Bones Kate Freuler / Carte Carte broșată
common.buy 84.61 lei
Fatal Blade Eric Thomson / Carte Carte broșată
common.buy 92.48 lei
Race Against Chaos Sticker Activity Book Kiel Phegley / Carte Carte broșată
common.buy 42.19 lei
Options Trading: How to Make Money in Less Than 7 Days (Quick Guide) Victor Lucas / Carte Carte broșată
common.buy 85.66 lei
Top
Geomorphia Kerby Rosanes / Carte Carte broșată
common.buy 38.52 lei
Top
250 Brief, Creative & Practical Art Therapy Techniques250 Brief, Creative & Practical Art Therapy Techniques Susan Buchalter / Carte Carte broșată
common.buy 158.94 lei
Top
The Greater Key of Solomon: The Grimoire of Solomon Samuel Mathers / Carte Carte broșată
common.buy 38.52 lei
Stalin C. J. Read / Carte Copertă tare
common.buy 1 331.20 lei
Top
That Time I Got Reincarnated as a Slime, Vol. 1 Fuse / Carte Carte broșată
common.buy 63.82 lei
Sue a Little Heroine L. T. Meade / Carte Copertă tare
common.buy 180.56 lei
Molecular Mechanisms of Body Water Homeostasis Carolyn M. Ecelbarger / Carte Carte broșată
common.buy 237.89 lei
Fireball Robert Matzen / Carte Carte broșată
common.buy 76.31 lei
Top
Power Michel Foucault / Carte Carte broșată
common.buy 90.28 lei
Born a New! What Now For You? Jimmy H Hampton / Carte Carte broșată
common.buy 57.31 lei
My Reading Life: A Book Journal Anne Bogel / Carte Copertă tare
common.buy 88.49 lei
Simpsons Secret James Hicks / Carte Carte broșată
common.buy 76.31 lei
Top
Becoming Michelle Obama / Carte Carte broșată
common.buy 69.70 lei
Top
Tommy Emmanuel's Fingerstyle Guitar Milestones Tim Pettingale / Carte Carte broșată
common.buy 112.53 lei
Top
High 5 Daily Journal Mel Robbins / Calendar / Agendă Agendă
common.buy 103.19 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?