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 €
DPD courier 3.99 € DPD point 3.49 € GLS courier 4.99 € GLS point 3.99 € Croatian Post 4.99 € Overseas courier 4.99 € Box Now 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro

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 125 b
51.38 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Panda / Book Paperback
common.buy 16.09 €
L'économie en 100 mots d'actualité Degryse / Book Paperback
common.buy 21.71 €
Collection Turkestan 3 (2024) Shamsiddin Kamoliddin / Book Paperback
common.buy 75.12 €
Oraisons Funebres MASSILLON-J-B / Book Paperback
common.buy 38.91 €
GIL J. WOLMAN, SOC INMORTAL I ESTIC VIU WOLMAN / Book Paperback
common.buy 32.78 €
Heaven Official's Blessing nº 03 Edición Especial Mo Xiang Tong Xiu / Book Paperback
common.buy 25.74 €
Neochvejná nádej John Riccardo / Book Paperback
common.buy 5.92 €
Les chiens Pirates - Adieu Côtelettes ! Spiessert rudy / melois clementine / Book Paperback
common.buy 7.53 €
Případ zmizelých kormidelníků Jan Frána / Book Book
common.buy 12.76 €
Poemas de las cuatro estaciones / Poems of the Four Seasons Maria Beneyto / Book Paperback
common.buy 9.65 €
Třešně Martin Štrunc / Book Paperback
common.buy 5.42 €
Konečně EX toho vašeho EX Carmichael Kristin E. / Book Paperback
common.buy 6.02 €
Pod basovým kľúčom Bibiana Wallnerová / Book Paperback
common.buy 9.65 €
Das Vichy-Regime Marc O. Baruch / Book Paperback
common.buy 7.83 €
Inspektor Kajetan und die Betrüger Robert Hültner / Book Paperback
common.buy 8.24 €
CO2-Lagerung im Meer - Loesung des Klimaproblems? Ehler Benjes / Book Paperback
common.buy 12.56 €
Mensch, Seine Abstammung Und Gesittung Im Lichte Der Darwinschen Lehre ... Dargestellt. Mit 36 Holzschnitten. Friedrich Rolle / Book Paperback
common.buy 26.44 €
Selbstliebe und Geselligkeit Friedrich Vollhardt / Book Hardback
common.buy 123.40 €
Vorlesungen über Judentum und Christentum Martin Buber / Book Hardback
common.buy 139.39 €
migraciones internas en la Argentina moderna Perren Joaquin Perren / Book Paperback
common.buy 15.08 €
El Opus Dei en la Iglesia José Luis Illanes Maestrre / Book Paperback
common.buy 26.34 €
Text Winfried Woesler / Book Hardback
common.buy 141.20 €
Jako řeka, jež plyne Paulo Coelho / Book Hardback
common.buy 6.83 €
Lo que hacen las brujas / Book Paperback
common.buy 20.31 €

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 9.14 €
Little Book of Modern Witchcraft Jacqueline Towers / Book Hardback
common.buy 8.14 €
Three South Coast Songs Robert Walker / Book Paperback
common.buy 17.29 €
Great Shall Be Your Joy Steven Cramer / Book Paperback
common.buy 13.77 €
FIFTH ACT HB Ingmar Bergman / Book Hardback
common.buy 27.04 €
Spain Rachel Grack / Book Hardback
common.buy 32.89 €
How to Do Nothing Jenny Odell / E-book Adobe ePub DRM
common.buy 20.92 €
Extraction of fuel from Plants (Bio-Fuel, Bio-Diesel) Ram Nandaniya / Book Paperback
common.buy 31.97 €
Introduction to Business Law in Russia ORLOV / Book Paperback
common.buy 80.65 €
Dilemma B A Paris / E-book Adobe ePub DRM
common.buy 7.23 €
Always Eat Your Vegetables JUPITER KIDS / Book Paperback
common.buy 13.87 €
Swell-consolidation behaviour of lime and pond ash blended clays Ramachandra Phanikumar / Book Paperback
common.buy 31.97 €
Top
A Tale of Two Cities Charles Dickens / Book Hardback
common.buy 25.13 €
Boxers - Dog Books for Kids K Bennett / Book Paperback
common.buy 10.55 €
Local Content Management at Kenya Methodist University (KeMU) Victor Kamau / Book Paperback
common.buy 70.69 €
Book of Disquiet Fernando Pessoa / Book Paperback
common.buy 12.76 €
Compact English-English-Tamil Dictionary V. Murugan / Book Hardback
common.buy 21.71 €
Understanding Media Semiotics Marcel Danesi / Book Paperback
common.buy 55.81 €
A Choice Theory Psychology Guide to Stress: Ways of managing stress in your life Brian Lennon / Book Paperback
common.buy 10.55 €
Paradise Lost (Deluxe Library Binding) John Milton / Book Hardback
common.buy 28.25 €
Ten Lessons for a Post-Pandemic World Zakaria / Book Hardback
common.buy 21.31 €
Assassin's Creed: Blade of Shao Jun, Vol. 4 Minoji Kurata / Book Paperback
common.buy 12.46 €
Top
Kolobok Sian Valvis / Book Hardback
common.buy 15.28 €
Top
In the Bookstore Giacomo Gambineri / Game/Toy Game
common.buy 13.47 €

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?