Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Check order status

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

Free delivery for purchases over 19 990 Ft

DPD point 1 170 Ft DPD courier 1 370 Ft GLS point 1 370 Ft Hungarian Post 1 975 Ft Hungarian Post 1 870 Ft Hungarian Post 1 870 Ft FoxPost 1 370 Ft Packeta point 1 370 Ft GLS courier 1 870 Ft

phone

Contact

phone

Help

My account

▸ Empty :-(

0

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Book From Logic Design to Logic Programming Dominique Snyers

From Logic Design to Logic Programming

Dominique Snyers

Language

English

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...

Libristo code: 01558443

?

points

132 b

19 661 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Panda

/

Paperback

6 337 Ft

L'économie en 100 mots d'actualité Degryse

/

Paperback

8 247 Ft

Les chiens Pirates - Adieu Côtelettes ! Spiessert rudy / melois clementine

/

Paperback

3 064 Ft

Případ zmizelých kormidelníků Jan Frána

/

Book

4 514 Ft

GIL J. WOLMAN, SOC INMORTAL I ESTIC VIU WOLMAN

/

Paperback

12 474 Ft

Le Droit Civil Français, Volume 1... Charles Vergé

/

Hardback

15 672 Ft

Ur- und Frühgeschichte des Ruppiner Landes Dagmar Buck

/

Hardback

23 235 Ft

Neochvejná nádej John Riccardo

/

Paperback

2 213 Ft

Heaven Official's Blessing nº 03 Edición Especial Mo Xiang Tong Xiu

/

Paperback

9 355 Ft

Collection Turkestan 3 (2024) Shamsiddin Kamoliddin

/

Paperback

28 913 Ft

Jako řeka, jež plyne Paulo Coelho

/

Hardback

2 569 Ft

Diario del Nuevo Mundo JUAN LARREA

/

Paperback

4 782 Ft

Třešně Martin Štrunc

/

Paperback

1 985 Ft

Konečně EX toho vašeho EX Carmichael Kristin E.

/

Paperback

2 183 Ft

Pod basovým kľúčom Bibiana Wallnerová

/

Paperback

3 643 Ft

Das Vichy-Regime Marc O. Baruch

/

Paperback

3 064 Ft

Inspektor Kajetan und die Betrüger Robert Hültner

/

Paperback

3 256 Ft

CO2-Lagerung im Meer - Loesung des Klimaproblems? Ehler Benjes

/

Paperback

5 019 Ft

Mensch, Seine Abstammung Und Gesittung Im Lichte Der Darwinschen Lehre ... Dargestellt. Mit 36 Holzschnitten. Friedrich Rolle

/

Paperback

10 578 Ft

Selbstliebe und Geselligkeit Friedrich Vollhardt

/

Hardback

48 618 Ft

Vorlesungen über Judentum und Christentum Martin Buber

/

Hardback

55 147 Ft

Poemas de las cuatro estaciones / Poems of the Four Seasons Maria Beneyto

/

Paperback

3 707 Ft

El Opus Dei en la Iglesia José Luis Illanes Maestrre

/

Paperback

10 068 Ft

migraciones internas en la Argentina moderna Perren Joaquin Perren

/

Paperback

5 960 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

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

How to Do Nothing Jenny Odell

/

Adobe ePub DRM

8 351 Ft

Language and Value Yi Jiang

/

Paperback

10 949 Ft

Pearl and Her Bunch Momoko Abe

/

Adobe ePub DRM

1 643 Ft

A Tale of Two Cities Charles Dickens

/

Hardback

10 039 Ft

In the Bookstore Giacomo Gambineri

/

Game

5 395 Ft

Three South Coast Songs Robert Walker

/

Paperback

6 544 Ft

Great Shall Be Your Joy Steven Cramer

/

Paperback

5 470 Ft

FIFTH ACT HB Ingmar Bergman

/

Hardback

10 281 Ft

Spain Rachel Grack

/

Hardback

12 820 Ft

Kolobok Sian Valvis

/

Hardback

5 544 Ft

Extraction of fuel from Plants (Bio-Fuel, Bio-Diesel) Ram Nandaniya

/

Paperback

12 296 Ft

Little Book of Modern Witchcraft Jacqueline Towers

/

Hardback

2 945 Ft

Introduction to Business Law in Russia ORLOV

/

Paperback

29 328 Ft

The Wasp Trap Mark Edwards

/

Paperback

7 648 Ft

Always Eat Your Vegetables JUPITER KIDS

/

Paperback

5 529 Ft

Swell-consolidation behaviour of lime and pond ash blended clays Ramachandra Phanikumar

/

Paperback

12 296 Ft

Dilemma B A Paris

/

Adobe ePub DRM

2 792 Ft

Wa-Hi Class Reunion: So Much Water Under the Bridge Jeff Honeycutt

/

Paperback

3 599 Ft

Boxers - Dog Books for Kids K Bennett

/

Paperback

4 138 Ft

Local Content Management at Kenya Methodist University (KeMU) Victor Kamau

/

Paperback

27 210 Ft

Book of Disquiet Fernando Pessoa

/

Paperback

4 648 Ft

Compact English-English-Tamil Dictionary V. Murugan

/

Hardback

8 336 Ft

Ten Lessons for a Post-Pandemic World Zakaria

/

Hardback

11 355 Ft

Understanding Media Semiotics Marcel Danesi

/

Paperback

21 636 Ft

Book advisor Libroamiko

Hi, I'm Libroamiko, can I help?