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 Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

From Logic Design to Logic Programming

Limba englezăengleză
Carte Carte broșată
Carte From Logic Design to Logic Programming Dominique Snyers
Codul Libristo: 01558443
Editura Springer, Berlin
Contents: Introduction.- Theorem proving and P-functions.- Grammars, logics and declarative programm...
? points 132 b
286.33 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Jako řeka, jež plyne Paulo Coelho / Carte Copertă tare
common.buy 37.36 lei
Heaven Official's Blessing nº 03 Edición Especial Mo Xiang Tong Xiu / Carte Carte broșată
common.buy 143.42 lei
L'économie en 100 mots d'actualité Degryse / Carte Carte broșată
common.buy 126.30 lei
Panda / Carte Carte broșată
common.buy 89.35 lei
Les chiens Pirates - Adieu Côtelettes ! Spiessert rudy / melois clementine / Carte Carte broșată
common.buy 47.80 lei
Collection Turkestan 3 (2024) Shamsiddin Kamoliddin / Carte Carte broșată
common.buy 420.90 lei
migraciones internas en la Argentina moderna Perren Joaquin Perren / Carte Carte broșată
common.buy 81.94 lei
Oraisons Funebres MASSILLON-J-B / Carte Carte broșată
common.buy 209.82 lei
Text Winfried Woesler / Carte Copertă tare
common.buy 786.68 lei
El Opus Dei en la Iglesia José Luis Illanes Maestrre / Carte Carte broșată
common.buy 147.39 lei
Vorlesungen über Judentum und Christentum Martin Buber / Carte Copertă tare
common.buy 778.23 lei
Mensch, Seine Abstammung Und Gesittung Im Lichte Der Darwinschen Lehre ... Dargestellt. Mit 36 Holzschnitten. Friedrich Rolle / Carte Carte broșată
common.buy 144.78 lei
CO2-Lagerung im Meer - Loesung des Klimaproblems? Ehler Benjes / Carte Carte broșată
common.buy 70.66 lei
Inspektor Kajetan und die Betrüger Robert Hültner / Carte Carte broșată
common.buy 45.82 lei
Das Vichy-Regime Marc O. Baruch / Carte Carte broșată
common.buy 40.91 lei
Pod basovým kľúčom Bibiana Wallnerová / Carte Carte broșată
common.buy 53.44 lei
Konečně EX toho vašeho EX Carmichael Kristin E. / Carte Carte broșată
common.buy 31.72 lei
Třešně Martin Štrunc / Carte Carte broșată
common.buy 28.28 lei

Contents: Introduction.- Theorem proving and P-functions.- Grammars, logics and declarative programming.- Grammars and Semantics.- Bibliography.

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 From Logic Design to Logic Programming
Autor Dominique Snyers, Andre Thayse
Limba engleză
Legare Carte - Carte broșată
Număr pagini 125
EAN 9783540182177
ISBN 3540182179
Codul Libristo 01558443
Editura Springer, Berlin
Greutatea 224
Dimensiuni 155 x 233 x 7

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer programming / software engineering
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

Notebook: Pebbles Peony Press / Carte Copertă tare
common.buy 53.65 lei
A Tale of Two Cities Charles Dickens / Carte Copertă tare
common.buy 129.33 lei
Three South Coast Songs Robert Walker / Carte Carte broșată
common.buy 99.79 lei
Great Shall Be Your Joy Steven Cramer / Carte Carte broșată
common.buy 77.13 lei
FIFTH ACT HB Ingmar Bergman / Carte Copertă tare
common.buy 146.76 lei
Extraction of fuel from Plants (Bio-Fuel, Bio-Diesel) Ram Nandaniya / Carte Carte broșată
common.buy 178.92 lei
Paradise Lost (Deluxe Library Binding) John Milton / Carte Copertă tare
common.buy 164.09 lei
Assassin's Creed: Blade of Shao Jun, Vol. 4 Minoji Kurata / Carte Carte broșată
common.buy 71.29 lei
Always Eat Your Vegetables JUPITER KIDS / Carte Carte broșată
common.buy 75.88 lei
Swell-consolidation behaviour of lime and pond ash blended clays Ramachandra Phanikumar / Carte Carte broșată
common.buy 178.92 lei
Language and Value Yi Jiang / Carte Carte broșată
common.buy 159.60 lei
Wa-Hi Class Reunion: So Much Water Under the Bridge Jeff Honeycutt / Carte Carte broșată
common.buy 49.78 lei
Local Content Management at Kenya Methodist University (KeMU) Victor Kamau / Carte Carte broșată
common.buy 396.05 lei
Top
Book of Disquiet Fernando Pessoa / Carte Carte broșată
common.buy 72.33 lei
Compact English-English-Tamil Dictionary V. Murugan / Carte Copertă tare
common.buy 121.50 lei
Understanding Media Semiotics Marcel Danesi / Carte Carte broșată
common.buy 299.38 lei
A Choice Theory Psychology Guide to Stress: Ways of managing stress in your life Brian Lennon / Carte Carte broșată
common.buy 57.20 lei
Ten Lessons for a Post-Pandemic World Zakaria / Carte Copertă tare
common.buy 117.64 lei
Kolobok Sian Valvis / Carte Copertă tare
common.buy 89.35 lei
In the Bookstore Giacomo Gambineri / Joc / Jucărie Joc
common.buy 75.88 lei
Cantigas Richard Zenith / Carte Copertă tare
common.buy 356.28 lei
End of Power Moisés Naím / Carte Carte broșată
common.buy 79.95 lei
Macmillan Children's Readers Sharks & Dolphins International Level 6 Donna Shaw / Carte Carte broșată
common.buy 31.93 lei
Shiism and Politics in the Middle East Lawrence Louer / Carte Copertă tare
common.buy 245.83 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