topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 6
 |
Design and Implementation of Symbolic Computation Systems: International Symposium, Disco '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings
ISBN: 9783540616979 / Angielski / Miękka / 1996 / 362 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book presents the refereed proceedings of the Fourth International Symposium on Design and Implementation of Symbolic Computation Systems, DISCO '96, held in Karlsruhe, Germany, in September 1996.
The volume includes four invited contributions surveying the state of the art in a particular subfield or pointing to some new research directions together with 31 revised full papers selected from a total of some 70 submissions. Many current aspects of mathematical software systems, as employed e.g. in computer algebra, automated theorem proving, or al- gebraic specification are addressed. This book presents the refereed proceedings of the Fourth International Symposium on Design and Implementation of Symbolic Computation Systems, DISCO ...
|
cena:
192,74 zł |
 |
Mathematical Methods in Computer Science: Essays in Memory of Thomas Beth
ISBN: 9783540899938 / Angielski / Miękka / 2008 / 189 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains the proceedings of the conference Mathematical Methods in Computer Science, MMICS 2008, which was held during December 17-19, 2008, in Karlsruhe, Germany, in memory of Thomas Beth.
This volume contains the proceedings of the conference Mathematical Methods in Computer Science, MMICS 2008, which was held during December 17-19, 200...
|
cena:
192,74 zł |
 |
Artificial Intelligence and Symbolic Mathematical Computing: International Conference Aismc-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings
ISBN: 9783540573227 / Angielski / Miękka / 1993 / 315 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains updated versions of papers presented at the 1st Artificial Intelligence and Symbolic Mathematical Computations Conference, held in Karlsruhe, Germany in August 1992.
This volume contains updated versions of papers presented at the 1st Artificial Intelligence and Symbolic Mathematical Computations Conference, held i...
|
cena:
192,74 zł |
 |
Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, Aisc 2002 and Calculemus 2002 Marseille, Fran
ISBN: 9783540438656 / Angielski / Miękka / 2002 / 350 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the joint International Conferences on Artificial Intelligence and Symbolic Computation, AISC 2002, and Calculemus 2002 held in Marseille, France, in July 2002.
The 24 revised full papers presented together with 2 system descriptions were carefully reviewed and selected from 52 submissions. Among the topics covered are automated theorem proving, logical reasoning, mathematical modeling, algebraic computations, computational mathematics, and applications in engineering and industrial practice. This book constitutes the refereed proceedings of the joint International Conferences on Artificial Intelligence and Symbolic Computation, AISC 2002, ...
|
cena:
192,74 zł |
 |
Artificial Intelligence and Symbolic Computation: International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings
ISBN: 9783540649601 / Angielski / Miękka / 1998 / 316 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC'98, held in Plattsburgh, NY, in September 1998.
The 24 revised full papers presented were carefully selected for inclusion in the book. The papers address various aspects of symbolic computation and formal reasoning such as inductive logic programming, context reasoning, computer algebra, proof theory and theorem proving, term rewriting, algebraic manipulation, formal verification, constraint solving, and knowledge discovery. This book constitutes the refereed proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC'98, held in P...
|
cena:
192,74 zł |
 |
Integrating Symbolic Mathematical Computation and Artificial Intelligence: Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994. Selected Papers
ISBN: 9783540601562 / Angielski / Miękka / 1995 / 281 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains thoroughly revised full versions of the best papers presented at the Second International Conference on Artificial Intelligence and Sympolic Mathematical Computation, held in Cambridge, UK in August 1994.
The 19 papers included give clear evidence that now, after a quite long period when AI and mathematics appeared to have arranged an amicable separation, these fields are growing together again as an area of fruitful interdisciplinary activities. This book explores the interaction between mathematical computation and clears the ground for future concentration on topics... This volume contains thoroughly revised full versions of the best papers presented at the Second International Conference on Artificial Intelligence a...
|
cena:
192,74 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
