Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

InPost 13.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł DPD 25.99 zł ORLEN Paczka 10.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Automated Deduction - CADE-20

Name: Automated Deduction - CADE-20
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01560923
Price: 261.85 PLN
Availability: InStock

Robert Nieuwenhuis

Język

Angielski

Książka Miękka

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

Kod Libristo: 01560923

154 b

261.85 zł

Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

common.delivery_to

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Making of the Roman Army Lawrence Keppie

/ Miękka

252.17 zł

God and the Multiverse Victor Stenger

/ Twarda

95.39 zł

Tao Te Ching Lao Tzu

/ Miękka

48.79 zł

Empires of Hygiene Judith Farquhar

/ Miękka

65.66 zł

Innovative Comparative Methods for Policy Analysis H. Grimm

/ Twarda

794.37 zł

Kafka's Creatures Marc Lucht

/ Miękka

305.27 zł

Planungsrecht in der gerichtlichen Kontrolle. Wilfried Erbguth

/ Miękka

376.32 zł

Cultural Context of Economics and Politics William T. Boxx

/ Twarda

237.90 zł

Patentierbarkeit gentechnischer Veranderungen von Organismen Manuela Markweg-Hanke

/ Miękka

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

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

Dostawa

Doradca ds. zakupów