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

19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Automated Deduction - CADE-19 Franz Baader
Kod Libristo: 01562844
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, lipiec 2003
The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, hel... Cały opis
? points 125 b
222.03 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Videnia 1: Život Preblahoslavenej Panny Márie Anna Katarína Emmerichová / Książka Twarda
common.buy 100.02 zł
brava veterinaria. Facciamo che ero Donata Quagliotti / Książka Twarda
common.buy 88.11 zł
A Era da Libertaç?o na LIGAO & O Rescaldo da Segunda Guerra Mundial 1944-1945 Marilou D. Tino / Książka Miękka
common.buy 168.50 zł
Obesit? e riserva ovarica Manal Mohammed Ali / Książka Miękka
common.buy 153.24 zł
CAMINAR SOBRE HIELO (+12 AÑOS) (ERIZONTE) VALLS / Książka Miękka
common.buy 72.14 zł
Niño GARCIA MAÑA / Książka Miękka
common.buy 72.44 zł
Einmal mit Alles Daniel Esswein / Książka Twarda
common.buy 162.50 zł
Ján Ondruš Básnické dielo Ján Ondruš / Książka Miękka
common.buy 47.10 zł
Dřevěné kostky Zvířátka 2 kostky / Gra/Zabawka Zabawka
common.buy 24.11 zł
LOS MEJORES DESTINOS DEL ROMÁNICO EN ESPAÑA JAIME COBREROS / Książka Twarda
common.buy 97.37 zł
Daltonismo-¿de qué color lo ves? Violeta Crespo / Książka Miękka
common.buy 59.82 zł
Der Murks mit der Milch Max O. Bruker / Książka Miękka
common.buy 68.58 zł
Zapowiedź
Lehrbuch Dieter Blohm / Książka Twarda
common.buy 239.02 zł
Norm, Person, Gesellschaft. Günther Jakobs / Książka Miękka
common.buy 121.79 zł
Die uneheliche Mutterschaft im altösterreichischen Polizeirecht des 16. bis 18. Jahrhunderts, dargestellt am Tatbestand der Fornication. Egon Conrad Ellrichshausen / Książka Miękka
common.buy 202.49 zł
Česko-slovenské vztahy 10 let po rozpadu federace Peter Kolesár / Książka binding.
common.buy 15.46 zł
Dárkové krabičky ve tvaru hvězdy 6 kusů / Artykuły papiernicze Artykuły papiernicze
common.buy 30.72 zł

The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003.§The 29 revised full papers and 7 system description papers presented together with an invited paper and 3 abstracts of invited talks were carefully reviewed and selected from 83 submissions. All current aspects of automated deduction are discussed, ranging from theoretical and methodological issues to the presentation of new theorem provers and 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-19
Autor Franz Baader
Język Angielski
Oprawa Książka - Miękka
Data wydania 2003
Liczba stron 512
EAN 9783540405597
ISBN 3540405593
Kod Libristo 01562844
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 1600
Wymiary 155 x 235 x 29

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 > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
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ć

Intelligent Strategies for Meta Multiple Criteria Decision Making Thomas Hanne / Książka Miękka
common.buy 442.64 zł
Teaching Ministry of the Church James D. Smart / Książka Miękka
common.buy 124.64 zł
Glorious Boy Aimee Liu / Książka Miękka
common.buy 69.80 zł
Ghost Sonata Gary Reed / Książka Miękka
common.buy 45.78 zł
Night of the Cat Richard Waltner / Książka Miękka
common.buy 87.40 zł
Church Reform Movement at Rome Charles R Conybeare / Książka Miękka
common.buy 50.26 zł
Brave Men and Women Osgood E Fuller / Książka Miękka
common.buy 40.49 zł
The Art of Simpling: An Introduction to the Knowledge and Gathering of Plants William Coles / Książka Miękka
common.buy 111.52 zł
THE ELEMENTS OF MENTAL AND MORAL SCIENCE WILLIAM CH COUPLAND / Książka Twarda
common.buy 139.91 zł
Liberty Day October 12, 1918. Suggestions for Community Celebrations Henry Ezekiel Jackson / Książka Twarda
common.buy 115.59 zł
Technical Study of the Maintenance and Fattening of Lambs and Their Utilization of a Ration of Alfalfa Hay and Corn H H 1886-1966 Mitchell / Książka Twarda
common.buy 115.59 zł
Vigilante Witch Hunter Gary Turcotte / Książka Miękka
common.buy 95.34 zł
History of Cherry Valley. from 1740 to 1898. John Sawyer / Książka Miękka
common.buy 76.51 zł
Tree Tops Jim Corbett / Książka Miękka
common.buy 20.75 zł
TOP
Art of Frozen Charles Solomon / Książka Twarda
common.buy 136.25 zł
DNA Methylation, Epigenetics and Metastasis M. Esteller / Książka Twarda
common.buy 973.92 zł
Empirico-Statistical Analysis of Narrative Material and its Applications to Historical Dating. Vol.1 A.T. Fomenko / Książka Twarda
common.buy 442.64 zł
Comic Books as History Joseph Witek / Książka Miękka
common.buy 152.22 zł
Norfolk W A Dutt / Książka Miękka
common.buy 109.79 zł
Functional Foods and Nutraceuticals Aluko / Książka Twarda
common.buy 368.15 zł
Iki and The Ocean Protectors Martha Johnston / Książka Twarda
common.buy 107.85 zł
Realizing Beloved Community Allen K. Shin / E-book Adobe ePub DRM
common.buy 138.38 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?