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 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

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 132 b
54.33 €
106.25  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Neochvejná nádej John Riccardo / Book Paperback
common.buy 6.50 € 12.72 лв
Les chiens Pirates - Adieu Côtelettes ! Spiessert rudy / melois clementine / Book Paperback
common.buy 9.19 € 17.97 лв
L'économie en 100 mots d'actualité Degryse / Book Paperback
common.buy 24.73 € 48.38 лв
Panda / Book Paperback
common.buy 16.93 € 33.12 лв
Text Winfried Woesler / Book Hardback
common.buy 156.59 € 306.26 лв
GIL J. WOLMAN, SOC INMORTAL I ESTIC VIU WOLMAN / Book Paperback
common.buy 36.20 € 70.80 лв
Heaven Official's Blessing nº 03 Edición Especial Mo Xiang Tong Xiu / Book Paperback
common.buy 27.26 € 53.32 лв
Collection Turkestan 3 (2024) Shamsiddin Kamoliddin / Book Paperback
common.buy 79.89 € 156.26 лв
Případ zmizelých kormidelníků Jan Frána / Book Book
common.buy 14.25 € 27.87 лв
Vorlesungen über Judentum und Christentum Martin Buber / Book Hardback
common.buy 147.76 € 288.99 лв
Třešně Martin Štrunc / Book Paperback
common.buy 5.62 € 11.00 лв
Konečně EX toho vašeho EX Carmichael Kristin E. / Book Paperback
common.buy 6.40 € 12.52 лв
Pod basovým kľúčom Bibiana Wallnerová / Book Paperback
common.buy 11.00 € 21.51 лв
Das Vichy-Regime Marc O. Baruch / Book Paperback
common.buy 8.21 € 16.05 лв
Inspektor Kajetan und die Betrüger Robert Hültner / Book Paperback
common.buy 8.72 € 17.06 лв
CO2-Lagerung im Meer - Loesung des Klimaproblems? Ehler Benjes / Book Paperback
common.buy 13.42 € 26.25 лв
Mensch, Seine Abstammung Und Gesittung Im Lichte Der Darwinschen Lehre ... Dargestellt. Mit 36 Holzschnitten. Friedrich Rolle / Book Paperback
common.buy 25.82 € 50.50 лв
Selbstliebe und Geselligkeit Friedrich Vollhardt / Book Hardback
common.buy 130.45 € 255.15 лв
migraciones internas en la Argentina moderna Perren Joaquin Perren / Book Paperback
common.buy 14.82 € 28.98 лв
Poemas de las cuatro estaciones / Poems of the Four Seasons Maria Beneyto / Book Paperback
common.buy 10.89 € 21.30 лв
El Opus Dei en la Iglesia José Luis Illanes Maestrre / Book Paperback
common.buy 29.38 € 57.47 лв
Jako řeka, jež plyne Paulo Coelho / Book Hardback
common.buy 7.48 € 14.64 лв
Oraisons Funebres MASSILLON-J-B / Book Paperback
common.buy 38.06 € 74.44 лв
Lo que hacen las brujas / Book Paperback
common.buy 22.46 € 43.93 лв

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

Wa-Hi Class Reunion: So Much Water Under the Bridge Jeff Honeycutt / Book Paperback
common.buy 8.98 € 17.57 лв
How to Do Nothing Jenny Odell / E-book Adobe ePub DRM
common.buy 23.60 € 46.15 лв
Three South Coast Songs Robert Walker / Book Paperback
common.buy 19.52 € 38.17 лв
Great Shall Be Your Joy Steven Cramer / Book Paperback
common.buy 15.13 € 29.59 лв
FIFTH ACT HB Ingmar Bergman / Book Hardback
common.buy 21.84 € 42.72 лв
Spain Rachel Grack / Book Hardback
common.buy 35.06 € 68.58 лв
Dilemma B A Paris / E-book Adobe ePub DRM
common.buy 8.10 € 15.85 лв
Extraction of fuel from Plants (Bio-Fuel, Bio-Diesel) Ram Nandaniya / Book Paperback
common.buy 33.98 € 66.46 лв
Introduction to Business Law in Russia ORLOV / Book Paperback
common.buy 85.06 € 166.36 лв
Always Eat Your Vegetables JUPITER KIDS / Book Paperback
common.buy 13.58 € 26.56 лв
Swell-consolidation behaviour of lime and pond ash blended clays Ramachandra Phanikumar / Book Paperback
common.buy 33.98 € 66.46 лв
A Tale of Two Cities Charles Dickens / Book Hardback
common.buy 24.53 € 47.97 лв
Boxers - Dog Books for Kids K Bennett / Book Paperback
common.buy 10.32 € 20.19 лв
Local Content Management at Kenya Methodist University (KeMU) Victor Kamau / Book Paperback
common.buy 75.19 € 147.06 лв
Top
Book of Disquiet Fernando Pessoa / Book Paperback
common.buy 13.68 € 26.76 лв
Compact English-English-Tamil Dictionary V. Murugan / Book Hardback
common.buy 18.69 € 36.56 лв
Understanding Media Semiotics Marcel Danesi / Book Paperback
common.buy 54.59 € 106.76 лв
A Choice Theory Psychology Guide to Stress: Ways of managing stress in your life Brian Lennon / Book Paperback
common.buy 10.32 € 20.19 лв
Paradise Lost (Deluxe Library Binding) John Milton / Book Hardback
common.buy 29.69 € 58.07 лв
Ten Lessons for a Post-Pandemic World Zakaria / Book Hardback
common.buy 23.60 € 46.15 лв
Assassin's Creed: Blade of Shao Jun, Vol. 4 Minoji Kurata / Book Paperback
common.buy 14.30 € 27.97 лв
Kolobok Sian Valvis / Book Hardback
common.buy 15.28 € 29.89 лв
In the Bookstore Giacomo Gambineri / Game/Toy Game
common.buy 13.53 € 26.45 лв
Cantigas Richard Zenith / Book Hardback
common.buy 74.99 € 146.66 лв

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?