SULJE VALIKKO

avaa valikko

Gail W. Pieper | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 7 tuotetta
Haluatko tarkentaa hakukriteerejä?



Fascinating Country In The World Of Computing, A: Your Guide To Automated Reasoning
Gail W Pieper; Larry Wos
World Scientific Publishing Co Pte Ltd (1999)
Kovakantinen kirja
144,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Collected Works Of Larry Wos, The (In 2 Volumes)
Gail W Pieper; Larry Wos
World Scientific Publishing Co Pte Ltd (2000)
Kovakantinen kirja
277,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Slapshtik - Essays on the Three Stooges
Peter Seely; Gail W. Pieper
McFarland & Co Inc (2007)
Pehmeäkantinen kirja
36,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Utopian Images and Narratives in Advertising - Dreams for Sale
Luigi Manca; Alessandra Manca; Gail W. Pieper
Lexington Books (2012)
Kovakantinen kirja
180,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Utopian Images and Narratives in Advertising - Dreams for Sale
Luigi Manca; Alessandra Manca; Gail W. Pieper
Lexington Books (2014)
Pehmeäkantinen kirja
99,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Comprehensive Handbook of Constructivist Teaching - From Theory to Practice
James Pelech; Gail W. Pieper
Information Age Publishing (2010)
Pehmeäkantinen kirja
59,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Comprehensive Handbook of Constructivist Teaching - From Theory to Practice
James Pelech; Gail W. Pieper
Information Age Publishing (2010)
Kovakantinen kirja
109,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Fascinating Country In The World Of Computing, A: Your Guide To Automated Reasoning
144,80 €
World Scientific Publishing Co Pte Ltd
Sivumäärä: 608 sivua
Asu: Kovakantinen kirja
Julkaisuvuosi: 1999, 02.12.1999 (lisätietoa)
Kieli: Englanti
This book shows you — through examples and puzzles and intriguing questions — how to make your computer reason logically. To help you, the book includes a CD-ROM with OTTER, the world's most powerful general-purpose reasoning program. The automation of reasoning has advanced markedly in the past few decades, and this book discusses some of the remarkable successes that automated reasoning programs have had in tackling challenging problems in mathematics, logic, program verification, and circuit design. Because the intended audience includes students and teachers, the book provides many exercises (with hints and also answers), as well as tutorial chapters that gently introduce readers to the field of logic and to automated reasoning in general. For more advanced researchers, the book presents challenging questions, many of which are still unsolved.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Fascinating Country In The World Of Computing, A: Your Guide To Automated Reasoningzoom
Näytä kaikki tuotetiedot
ISBN:
9789810239107
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste