phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł ORLEN Paczka 10.99 zł Poczta Polska 18.99 zł
phone Kontakt phoneJak kupować

Automated Reasoning and Mathematics

Język AngielskiAngielski
Książka Miękka
Książka Automated Reasoning and Mathematics Maria Paola Bonacina
Kod Libristo: 01663155
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzec 2013
This Festschrift volume is published in honor of William W. McCune, an accomplished computer scienti... Cały opis
? points 140 b
238.40 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Praha největší ostrov nevykopaných pokladů Jiří Zeman / Twarda
common.buy 32.80 zł
Komunikace a sloh Český Jazyk pro střední školy / CD Audio
common.buy 81.85 zł
Japanese Language in Use Toshiko Yamaguchi / Miękka
common.buy 279.18 zł
Case Study in Visual Agnosia Revisited Glyn Humphreys / Miękka
common.buy 284.57 zł
Angelika Kauffmann - Eine Analyse der mythologischen Einfigurenhistorienbilder anhand der Serie "verlassener und trauernder Frauen Norman Conrad / Miękka
common.buy 161.12 zł
Reproduction in Fungi C. Elliot / Twarda
common.buy 1 024.92 zł
Finite Horizon H and Related Control Problems M.Bala Subrahmanyam / Twarda
common.buy 261.63 zł
Arbeitsrechtliche Privilegien der Religionsgemeinschaften als Ausnahme vom allgemeinen Gleichbehandlungsgrundsatz (Band 47). Ein Rechtsvergleich zwisc Christian Gleich / Miękka
common.buy 144.47 zł
Around Shabbona Nancy Fleming Pardridge / Miękka
common.buy 91.72 zł
Band-Ferromagnetism K. Baberschke / Miękka
common.buy 261.63 zł
Indizieren - Visualisieren Carolin Artz / Miękka
common.buy 136.79 zł
Glow of the Oil Lamp Art P. O'Dalaigh / Twarda
common.buy 121.14 zł

This Festschrift volume is published in honor of William W. McCune, an accomplished computer scientist who was a fantastic system builder and software engineer. It includes 13 papers that cover automated reasoning and its applications to mathematics.

Informacje o książce

Pełna nazwa Automated Reasoning and Mathematics
Autor Maria Paola Bonacina, Mark E. Stickel
Język Angielski
Oprawa Książka - Miękka
Data wydania 2013
Liczba stron 259
EAN 9783642366741
ISBN 3642366740
Kod Libristo 01663155
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 454
Wymiary 155 x 235 x 16

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń > Matematyka w informatyce
Informatyka i technologie informacyjne (IT) > Aplikacje biznesowe > Oprogramowanie matematyczne i statystyczne
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

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