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 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Automated Deduction - CADE-20

20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Automated Deduction - CADE-20 Robert Nieuwenhuis
Kod Libristo: 01560923
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, lipiec 2005
This book constitutes the refereed proceedings of the 20th International Conference on Automated Ded... Cały opis
? points 125 b
224.06 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

????? ???????? ? &quote;???? ??????????? ????????&quote; Erich von Neff / E-book Adobe ePub DRM
common.buy 4.61 zł
Götterdämmerung. Der Ring des Nibelungen 4 Fabian Hinrichs / Audio CD Audio
common.buy 72.90 zł
Pro radost. For Joy Iva Bittová / Książka binding.
common.buy 77.83 zł
Peugeot 205 od 9/83 do 2/99 Hans-Rüdiger Etzold / Książka Miękka
common.buy 107.50 zł
Der Vernichtungskampf Wider Die Bauern In Mecklenburg (1864) Moritz Wiggers / Książka Miękka
common.buy 92.10 zł
Glasgow lieben lernen Sarah Glenn / Książka Miękka
common.buy 35.83 zł
Betriebliche Standortplanung im Rahmen von urbanen Unternehmensnetzwerken Christoph Gerdes / Książka Miękka
common.buy 108.63 zł
Performance-Messung und Eigentuemerorientierung Andreas Schüler / Książka Miękka
common.buy 780.42 zł
Die Illojiim Hartmut Großer / Książka Miękka
common.buy 85.53 zł
Profesión mamá / Occupation Mom Irma Gallo / Książka Miękka
common.buy 72.59 zł
Planungsrecht in der gerichtlichen Kontrolle. Wilfried Erbguth / Książka Miękka
common.buy 414.44 zł
Dyskalkulie Silvia Pixner / Książka Miękka
common.buy 56.06 zł
Augsburgischer Compendiöser Hand- Schreib- und Sack-Calender Andreas Brinhaußer / Książka Miękka
common.buy 81.73 zł
Patentierbarkeit gentechnischer Veranderungen von Organismen Manuela Markweg-Hanke / Książka Miękka
common.buy 224.26 zł

This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held in Tallinn, Estonia, in July 2005.§The 25 revised full papers and 5 system descriptions presented were carefully reviewed and selected from 78 submissions. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning 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 Automated Deduction - CADE-20
Autor Robert Nieuwenhuis
Język Angielski
Oprawa Książka - Miękka
Data wydania 2005
Liczba stron 466
EAN 9783540280057
ISBN 3540280057
Kod Libristo 01560923
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 721
Wymiary 155 x 235 x 26

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
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
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ć

School Inspection & Self-Evaluation John MacBeath / Książka Twarda
common.buy 906.83 zł
A Monograph On The Parish Of St. Lawrence, Ipswich (1888) Benjamin Page Grimsey / Książka Miękka
common.buy 92.10 zł
Forgiveness and Letting Go in Emotion-Focused Therapy Catalina Woldarsky Meneses / Książka Twarda
common.buy 283.51 zł
JOHANN CHRISTOPH ADELUNGS DEUTSCHE SPRAC JOHANN CHRI ADELUNG / Książka Twarda
common.buy 170.04 zł
What's my name? EDDIE Tiina Walsh / Książka Miękka
common.buy 64.48 zł
Rudin by Ivan Turgenev, Fiction, Classics, Literary Ivan Turgenev / Książka Miękka
common.buy 62.53 zł
Modern Practice Of Civil Litigation In Nigeria Bl Maiyaki Theodore Bala Ph D / Książka Twarda
common.buy 203.21 zł
New Perspectives in Service-Learning Shelley H. Billig / Książka Twarda
common.buy 523.91 zł
Children of Lutetia. William Blanchard Jerrold / Książka Miękka
common.buy 105.97 zł
Notes and Reflections During a Ramble in Germany. by the Author of "Recollections in the Peninsula," Etc. [I.E. M. Sherer.] Anonymous / Książka Miękka
common.buy 118.70 zł
Mr. Lee's Plan, March 29, 1777 George Henry Moore / Książka Miękka
common.buy 100.21 zł
Let's Talk Back Barbara Simon / Książka Miękka
common.buy 87.48 zł
TOP
God and the Multiverse Victor Stenger / Książka Twarda
common.buy 95.39 zł
Innovative Comparative Methods for Policy Analysis H. Grimm / Książka Twarda
common.buy 669.31 zł
Making of the Roman Army Lawrence Keppie / Książka Miękka
common.buy 267.80 zł
Tao Te Ching Lao Tzu / Książka Miękka
common.buy 43.22 zł
Kafka's Creatures Marc Lucht / Książka Miękka
common.buy 296.14 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?