Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

From Logic Design to Logic Programming

Language EnglishEnglish
Book Paperback
Book From Logic Design to Logic Programming Dominique Snyers
Libristo code: 01558443
Publishers Springer, Berlin
Contents: Introduction.- Theorem proving and P-functions.- Grammars, logics and declarative programm...
? points 136 b
19 870 Ft
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Jako řeka, jež plyne Paulo Coelho / Book Hardback
common.buy 2 515 Ft
Heaven Official's Blessing nº 03 Edición Especial Mo Xiang Tong Xiu / Book Paperback
common.buy 9 174 Ft
L'économie en 100 mots d'actualité Degryse / Book Paperback
common.buy 8 500 Ft
Panda / Book Paperback
common.buy 6 206 Ft
Les chiens Pirates - Adieu Côtelettes ! Spiessert rudy / melois clementine / Book Paperback
common.buy 3 221 Ft
Collection Turkestan 3 (2024) Shamsiddin Kamoliddin / Book Paperback
common.buy 29 265 Ft
migraciones internas en la Argentina moderna Perren Joaquin Perren / Book Paperback
common.buy 5 676 Ft
Oraisons Funebres MASSILLON-J-B / Book Paperback
common.buy 14 503 Ft
Text Winfried Woesler / Book Hardback
common.buy 52 955 Ft
El Opus Dei en la Iglesia José Luis Illanes Maestrre / Book Paperback
common.buy 9 921 Ft
Vorlesungen über Judentum und Christentum Martin Buber / Book Hardback
common.buy 54 040 Ft
Mensch, Seine Abstammung Und Gesittung Im Lichte Der Darwinschen Lehre ... Dargestellt. Mit 36 Holzschnitten. Friedrich Rolle / Book Paperback
common.buy 10 083 Ft
CO2-Lagerung im Meer - Loesung des Klimaproblems? Ehler Benjes / Book Paperback
common.buy 4 914 Ft
Inspektor Kajetan und die Betrüger Robert Hültner / Book Paperback
common.buy 3 189 Ft
Das Vichy-Regime Marc O. Baruch / Book Paperback
common.buy 2 750 Ft
Pod basovým kľúčom Bibiana Wallnerová / Book Paperback
common.buy 3 599 Ft
Konečně EX toho vašeho EX Carmichael Kristin E. / Book Paperback
common.buy 2 137 Ft
Třešně Martin Štrunc / Book Paperback
common.buy 1 901 Ft

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

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name From Logic Design to Logic Programming
Author Dominique Snyers, Andre Thayse
Language English
Binding Book - Paperback
Number of pages 125
EAN 9783540182177
ISBN 3540182179
Libristo code 01558443
Publishers Springer, Berlin
Weight 224
Dimensions 155 x 233 x 7

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer programming / software engineering
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Notebook: Pebbles Peony Press / Book Hardback
common.buy 3 733 Ft
A Tale of Two Cities Charles Dickens / Book Hardback
common.buy 9 012 Ft
Three South Coast Songs Robert Walker / Book Paperback
common.buy 6 719 Ft
Great Shall Be Your Joy Steven Cramer / Book Paperback
common.buy 5 371 Ft
FIFTH ACT HB Ingmar Bergman / Book Hardback
common.buy 10 143 Ft
Extraction of fuel from Plants (Bio-Fuel, Bio-Diesel) Ram Nandaniya / Book Paperback
common.buy 12 436 Ft
Paradise Lost (Deluxe Library Binding) John Milton / Book Hardback
common.buy 11 356 Ft
Assassin's Creed: Blade of Shao Jun, Vol. 4 Minoji Kurata / Book Paperback
common.buy 4 799 Ft
Always Eat Your Vegetables JUPITER KIDS / Book Paperback
common.buy 5 297 Ft
Swell-consolidation behaviour of lime and pond ash blended clays Ramachandra Phanikumar / Book Paperback
common.buy 12 436 Ft
Language and Value Yi Jiang / Book Paperback
common.buy 11 107 Ft
Wa-Hi Class Reunion: So Much Water Under the Bridge Jeff Honeycutt / Book Paperback
common.buy 3 438 Ft
Local Content Management at Kenya Methodist University (KeMU) Victor Kamau / Book Paperback
common.buy 27 553 Ft
Top
Book of Disquiet Fernando Pessoa / Book Paperback
common.buy 4 873 Ft
Compact English-English-Tamil Dictionary V. Murugan / Book Hardback
common.buy 8 444 Ft
Understanding Media Semiotics Marcel Danesi / Book Paperback
common.buy 20 631 Ft
A Choice Theory Psychology Guide to Stress: Ways of managing stress in your life Brian Lennon / Book Paperback
common.buy 3 950 Ft
Ten Lessons for a Post-Pandemic World Zakaria / Book Hardback
common.buy 8 209 Ft
Kolobok Sian Valvis / Book Hardback
common.buy 6 013 Ft
In the Bookstore Giacomo Gambineri / Game/Toy Game
common.buy 5 284 Ft
Cantigas Richard Zenith / Book Hardback
common.buy 23 981 Ft
End of Power Moisés Naím / Book Paperback
common.buy 5 574 Ft
Macmillan Children's Readers Sharks & Dolphins International Level 6 Donna Shaw / Book Paperback
common.buy 2 150 Ft
Shiism and Politics in the Middle East Lawrence Louer / Book Hardback
common.buy 16 547 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account