Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Constraints in Computational Logics

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

Język AngielskiAngielski
Książka Miękka
Książka Constraints in Computational Logics Jean-Pierre Jouannaud
Kod Libristo: 05274419
Wydawnictwo Springer, Berlin, listopad 1993
This volume constitutes the proceedings of the First International Conference on Constraints in Comp... Cały opis
? points 125 b
222.70 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Büchi's Monadic Second Order Successor Arithmetic Dirk Siefkes / Książka Miękka
common.buy 208.21 zł
Nove vite come i gatti. I miei primi novant'anni laici e ribelli Margherita Hack / Książka Miękka
common.buy 80.11 zł
Telekonsultation. Die Lösung für eine zukunftssichere medizinische Versorgung im deutschen Gesundheitswesen? / Książka Miękka
common.buy 69.80 zł
Les grandes pandémies de l'Histoire - De la peste au Covid Jean Vitaux / Książka Miękka
common.buy 48.06 zł
Inscriptions antiques des Pyrénées M. Albert Leb?gue / Książka Twarda
common.buy 177.07 zł
Manual de Monitoreo Neurofisiológico Intraoperatorio. Mph Habeych S. / Książka Miękka
common.buy 52.35 zł
Literatura rabinica Tal Ilan / E-book Adobe ePub DRM
common.buy 128.08 zł
Nous Sommes Cruels Camille de Peretti / Książka Miękka
common.buy 55.00 zł
Hańba Maria Paszyńska / Książka Miękka
common.buy 35.31 zł
The World of Worm. Numbers - Spanish Esther Van Den Berg / Książka Twarda
common.buy 78.17 zł
LOS EVANGELIOS EN LOS ESTUDIOS DE TEOLOGIA GUIJARRO OPORTO / Książka Miękka
common.buy 103.69 zł
The Eminence in Shadow. Staffel.2.1, 1 Blu-ray Kazuya Nakanishi / Wideo Blu-ray
common.buy 220.86 zł
Tubbz kachnička mini Sonic - Knuckles Gra/Zabawka Zabawka
common.buy 55.92 zł
Umění zákona přitažlivosti Marie Diamond / Książka Miękka
common.buy 43.98 zł
Дети Арбата. Книга вторая. Страх Анатолий Рыбаков / Książka Twarda
common.buy 56.84 zł
Xosé María Álvarez Blázquez. Rabuñal / Książka Miękka
common.buy 66.64 zł
Charakter Und Umwelt Hermann Hoffmann / Książka Miękka
common.buy 228.72 zł
Renouvellement social, renouvellement langagier dans l'Algérie d'aujourd'hui Benmayouf / Książka Miękka
common.buy 70.93 zł
Patissiere de la Campagne Et de la Ville Quentin / Książka Miękka
common.buy 138.80 zł
Direitos Civis: Segurança Publica: Crônicas de um Delegado de Polícia Alberto Calvano / Książka Miękka
common.buy 63.99 zł
Cuxland - Teufelsmoor bicycle map / Prasa Mapa
common.buy 42.24 zł
Profifussballvereine als Marke Till Eckel / Książka Miękka
common.buy 284.14 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Constraints in Computational Logics
Autor Jean-Pierre Jouannaud
Język Angielski
Oprawa Książka - Miękka
Data wydania 1994
Liczba stron 371
EAN 9783540584032
ISBN 354058403X
Kod Libristo 05274419
Wydawnictwo Springer, Berlin
Waga 415
Wymiary 155 x 233 x 20

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

TOP
Brave, Not Perfect Reshma Saujani / Książka Miękka
common.buy 46.63 zł
A Love Reborn Dana Lyons / Książka Miękka
common.buy 56.64 zł
Budget Justifications and Performance Information Fiscal Year 2014: Office of the Secretary Department-Wide Programs The U S Department of the Interior / Książka Miękka
common.buy 98.89 zł
The Castle of Otranto Horace Walpole / Książka Miękka
common.buy 33.88 zł
Introduction to Cell Biology Casper Barnes / Książka Twarda
common.buy 576.16 zł
Bible Word Search New Testament Large Print Volume 45: Titus and Philemon T W Pope / Książka Miękka
common.buy 48.27 zł
FAITH in GOD - Revised Edition: Power to do the Impossible Margaret Ema / Książka Miękka
common.buy 44.49 zł
Wife Upstairs Rachel Hawkins / Książka Miękka
common.buy 46.53 zł
Anastasia Melissa Frost / Książka Miękka
common.buy 48.27 zł
Classical Mechanics, Volume 5 Gregory a. Dilisi / Książka Miękka
common.buy 274.75 zł
Color the Snake Alphabet Shondra Ilene / Książka Miękka
common.buy 32.96 zł
Introduction to AutoCAD Plant 3D 2019 Tutorial Books / Książka Miękka
common.buy 128.29 zł
Design, Make, Quilt Modern Heather Black / Książka Miękka
common.buy 102.46 zł
Zapowiedź
Rheinwandern 3 - Koblenz 1:25 000 NaturNavi / Prasa Mapa
common.buy 37.55 zł
TOP
The Only Study Guide You'll Ever Need Jade Bowler / Książka Miękka
common.buy 62.35 zł
Seventh Star Volume 1 Tony Guisado / Książka Miękka
common.buy 63.99 zł
Power Paradox Prof. Dacher Keltner / Audiobook MP3
common.buy 34.59 zł
Representing Atrocity in Taiwan Sylvia Li-chun Lin / E-book Adobe ePub DRM
common.buy 374.17 zł
KS3 History Depth Study: The British Empire Student Book Second Edition (Paperback) Aaron Wilkes / Książka Miękka
common.buy 109.20 zł
Teaching Education for Sustainable Development at University Level Walter Leal Filho / Książka Twarda
common.buy 443.98 zł
Techniques in Rheological Measurement A.A. Collyer / Książka Twarda
common.buy 886.64 zł
Protein Misfolding and Disease Peter Bross / Książka Miękka
common.buy 633.72 zł
Boy Aviators in Africa John Henry Goldfrap / Książka Miękka
common.buy 50.41 zł
Evaluating Factors Controlling Damage and Productivity in Tight Gas Reservoirs Hassan Bahrami / Książka Twarda
common.buy 443.98 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?