Automated Deduction in Geometry, Francisco Botana; Pedro Quaresma

Автор: Francisco Botana; Tomas Recio
Название: Automated Deduction in Geometry
ISBN: 354077355X ISBN-13(EAN): 9783540773559
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed post-proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2006, held at Pontevedra, Spain, in August/September 2006 as a satellite event of the International Congress of Mathematicians, ICM 2006. This book presents 13 revised full papers.

Автор: Renate Schmidt
Название: Automated Deduction – CADE-22
ISBN: 3642029582 ISBN-13(EAN): 9783642029585
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 22nd International Conference on Automated Deduction Montreal Canada August 27 2009 Proceedings. .

Автор: Dongming Wang
Название: Automated Deduction in Geometry
ISBN: 3540642978 ISBN-13(EAN): 9783540642978
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed and revised post-workshop proceedings of the International Workshop on Automated Deduction in Geometry, held in France, in 1996. This book covers automated geometric reasoning and the deduction applied to Dixon resultants, Grobner bases, characteristic sets, computational geometry, algebraic geometry, and planet motion.

Автор: Wolfgang Bibel; P.H. Schmitt
Название: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
ISBN: 0792351312 ISBN-13(EAN): 9780792351313
Издательство: Springer
Рейтинг:
Цена: 27944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Features the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques.

Автор: Wolfgang Bibel; P.H. Schmitt
Название: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
ISBN: 0792351304 ISBN-13(EAN): 9780792351306
Издательство: Springer
Рейтинг:
Цена: 35218.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques.

Автор: Wolfgang Bibel; P.H. Schmitt
Название: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
ISBN: 0792351290 ISBN-13(EAN): 9780792351290
Издательство: Springer
Рейтинг:
Цена: 39970.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building.

Автор: Wolfgang Bibel; R. Kowalski
Название: Automated Deduction CADE 5
ISBN: 3540100091 ISBN-13(EAN): 9783540100096
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Xiao-lu Gao; Dongming Wang; Lu Yang
Название: Automated Deduction in Geometry
ISBN: 3540666729 ISBN-13(EAN): 9783540666721
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The refereed proceedings of the Second International Workshop on Automated Deduction in Geometry (ADG`98). Papers cover topics such as automated geometry theorem proving, automated geometry problem solving, plane Euclidean reasoning and Clifford algebraic methods for geometric reasoning.

Автор: Leonardo de Moura
Название: Automated Deduction – CADE 26
ISBN: 3319630458 ISBN-13(EAN): 9783319630458
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CADE-26, held in Gothenburg, Sweden, in August 2017. The 26 full papers and 5 system descriptions presented were carefully reviewed and selected from 69 submissions.

Автор: Amy P. Felty; Aart Middeldorp
Название: Automated Deduction - CADE-25
ISBN: 3319214004 ISBN-13(EAN): 9783319214009
Издательство: Springer
Рейтинг:
Цена: 11180.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015. The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions.