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 point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Constraints in Computational Logics

First International Conference, CCL '94, Munich, Germany, September, 7-9, 1994. Proceedings

Language EnglishEnglish
Book Paperback
Book Constraints in Computational Logics Jean-Pierre Jouannaud
Libristo code: 05274419
Publishers Springer, Berlin, November 1993
This volume constitutes the proceedings of the First International Conference on Constraints in Comp... Full description
? points 136 b
19 928 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Büchi's Monadic Second Order Successor Arithmetic Dirk Siefkes / Book Paperback
common.buy 18 637 Ft
Nove vite come i gatti. I miei primi novant'anni laici e ribelli Margherita Hack / Book Paperback
common.buy 7 192 Ft
Telekonsultation. Die Lösung für eine zukunftssichere medizinische Versorgung im deutschen Gesundheitswesen? / Book Paperback
common.buy 6 280 Ft
Les grandes pandémies de l'Histoire - De la peste au Covid Jean Vitaux / Book Paperback
common.buy 4 049 Ft
Inscriptions antiques des Pyrénées M. Albert Leb?gue / Book Hardback
common.buy 15 717 Ft
Manual de Monitoreo Neurofisiológico Intraoperatorio. Mph Habeych S. / Book Paperback
common.buy 4 665 Ft
Literatura rabinica Tal Ilan / E-book Adobe ePub DRM
common.buy 10 566 Ft
Nous Sommes Cruels Camille de Peretti / Book Paperback
common.buy 4 623 Ft
Hańba Maria Paszyńska / Book Paperback
common.buy 3 536 Ft
The World of Worm. Numbers - Spanish Esther Van Den Berg / Book Hardback
common.buy 7 016 Ft
LOS EVANGELIOS EN LOS ESTUDIOS DE TEOLOGIA GUIJARRO OPORTO / Book Paperback
common.buy 9 436 Ft
The Eminence in Shadow. Staffel.2.1, 1 Blu-ray Kazuya Nakanishi / Video Blu-ray
common.buy 18 285 Ft
Tubbz kachnička mini Sonic - Knuckles Game/Toy Toy
common.buy 4 739 Ft
Top
Umění zákona přitažlivosti Marie Diamond / Book Paperback
common.buy 3 624 Ft
Дети Арбата. Книга вторая. Страх Анатолий Рыбаков / Book Hardback
common.buy 4 683 Ft
Xosé María Álvarez Blázquez. Rabuñal / Book Paperback
common.buy 6 016 Ft
Charakter Und Umwelt Hermann Hoffmann / Book Paperback
common.buy 20 474 Ft
Renouvellement social, renouvellement langagier dans l'Algérie d'aujourd'hui Benmayouf / Book Paperback
common.buy 6 313 Ft
Patissiere de la Campagne Et de la Ville Quentin / Book Paperback
common.buy 12 269 Ft
Direitos Civis: Segurança Publica: Crônicas de um Delegado de Polícia Alberto Calvano / Book Paperback
common.buy 5 692 Ft
Cuxland - Teufelsmoor bicycle map / Printed items Map
common.buy 3 494 Ft
Profifussballvereine als Marke Till Eckel / Book Paperback
common.buy 25 611 Ft

This volume constitutes the proceedings of the First International Conference on Constraints in Computational Logics, CCL '94, held in Munich, Germany in September 1994. Besides abstracts or full papers of the 5 invited talks by senior researchers, the book contains revised versions of the 21 accepted research papers selected from a total of 52 submissions. The volume assembles high quality original papers covering major theoretical and practical issues of combining and extending programming paradigms, preferably by using constraints. The topics covered include symbolic constraints, set constraints, numerical constraints, multi-paradigm programming, combined calculi, constraints in rewriting, deduction, symbolic computations, and working systems.

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 Constraints in Computational Logics
Author Jean-Pierre Jouannaud
Language English
Binding Book - Paperback
Date of issue 1994
Number of pages 371
EAN 9783540584032
ISBN 354058403X
Libristo code 05274419
Publishers Springer, Berlin
Weight 415
Dimensions 155 x 233 x 20

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
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

Brave, Not Perfect Reshma Saujani / Book Paperback
common.buy 4 285 Ft
A Love Reborn Dana Lyons / Book Paperback
common.buy 5 091 Ft
Budget Justifications and Performance Information Fiscal Year 2014: Office of the Secretary Department-Wide Programs The U S Department of the Interior / Book Paperback
common.buy 8 807 Ft
The Castle of Otranto Horace Walpole / Book Paperback
common.buy 3 022 Ft
The study of history in England and Scotland Paul Fredericq / Book Paperback
common.buy 8 085 Ft
Introduction to Cell Biology Casper Barnes / Book Hardback
common.buy 51 542 Ft
Bible Word Search New Testament Large Print Volume 45: Titus and Philemon T W Pope / Book Paperback
common.buy 4 313 Ft
FAITH in GOD - Revised Edition: Power to do the Impossible Margaret Ema / Book Paperback
common.buy 3 962 Ft
Wife Upstairs Rachel Hawkins / Book Paperback
common.buy 4 082 Ft
Anastasia Melissa Frost / Book Paperback
common.buy 4 313 Ft
Classical Mechanics, Volume 5 Gregory a. Dilisi / Book Paperback
common.buy 24 246 Ft
Color the Snake Alphabet Shondra Ilene / Book Paperback
common.buy 2 934 Ft
Introduction to AutoCAD Plant 3D 2019 Tutorial Books / Book Paperback
common.buy 11 431 Ft
Design, Make, Quilt Modern Heather Black / Book Paperback
common.buy 9 187 Ft
Coming soon
Rheinwandern 3 - Koblenz 1:25 000 NaturNavi / Printed items Map
common.buy 3 374 Ft
The Only Study Guide You'll Ever Need Jade Bowler / Book Paperback
common.buy 5 725 Ft
Seventh Star Volume 1 Tony Guisado / Book Paperback
common.buy 5 692 Ft
Power Paradox Prof. Dacher Keltner / Audiobook MP3
common.buy 2 879 Ft
Representing Atrocity in Taiwan Sylvia Li-chun Lin / E-book Adobe ePub DRM
common.buy 31 026 Ft
KS3 History Depth Study: The British Empire Student Book Second Edition (Paperback) Aaron Wilkes / Book Paperback
common.buy 9 409 Ft
Teaching Education for Sustainable Development at University Level Walter Leal Filho / Book Hardback
common.buy 39 740 Ft
Techniques in Rheological Measurement A.A. Collyer / Book Hardback
common.buy 79 365 Ft
Protein Misfolding and Disease Peter Bross / Book Paperback
common.buy 57 692 Ft
Boy Aviators in Africa John Henry Goldfrap / Book Paperback
common.buy 4 549 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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?