Design and Implementation of Symbolic Computation Systems, Alfonso Miola

Автор: Jacques Calmet; Carla Limongelli
Название: Design and Implementation of Symbolic Computation Systems
ISBN: 3540616977 ISBN-13(EAN): 9783540616979
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text contains four invited contributions surveying the state of the art in a particular subfield or pointing to new research directions, together with 31 revised full papers from a total of some 70 submissions. Many current aspects of mathematical software systems are addressed.

Автор: John Fitch
Название: Design and Implementation of Symbolic Computation Systems
ISBN: 3540572724 ISBN-13(EAN): 9783540572725
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A series of papers that explores the design and implementation issues of computer algebra. A general theme of the text is the need for interconnections between systems, as no individual system incorporates the range of facilities that users require.

Автор: Alfonso Miola
Название: Design and Implementation of Symbolic Computation Systems
ISBN: 3540525319 ISBN-13(EAN): 9783540525318
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: DISCO `90 focuses mainly on the most innovative methodological and technological aspects of hardware and software system design and implementation for Symbolic and Algebraic Computation, Automated Reasoning, Software Environments, and Automatic Programming.

Автор: 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; 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.

Автор: Jacques Calmet; John A. Campbell
Название: Integrating Symbolic Mathematical Computation and Artificial Intelligence
ISBN: 3540601562 ISBN-13(EAN): 9783540601562
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains versions of selected papers presented at the Second Artificial Intelligence and Sympolic Mathematical Computation, held in Cambridge, 1994. It explores the interaction between mathematical computation and indicates further topics that may be concentrated upon.

Автор: Norbert Kajler; D.S. Scott
Название: Computer - Human Interaction in Symbolic Computation
ISBN: 3211828435 ISBN-13(EAN): 9783211828434
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Concentrating on interactive books, computer-aided instruction, and visualization, the contributions range from a description of a framework for authoring and browsing mathematical books to the presentation of techniques. It is aimed at students, researchers, and developers involved in the design and implementation of scientific software.

Автор: Jaques Calmet; John A. Campbell; Jochen Pfalzgraf
Название: Artificial Intelligence and Symbolic Mathematical Computation
ISBN: 3540617329 ISBN-13(EAN): 9783540617327
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The 19 papers presented in this text were selected by the programme committee of the Third International Conference on Artificial Intelligence and Symbololic Mathematical Computation. Topics addressed include theorem proving, rewriting systems, symbolic computation, and spatial reasoning.

Автор: Jacques Calmet; Jan Plaza
Название: Artificial Intelligence and Symbolic Computation
ISBN: 3540649603 ISBN-13(EAN): 9783540649601
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers in this volume address aspects of symbolic computation and formal reasoning such as: inductive logic programming; context reasoning; computer algebra; proof theory and theorem proving; algebraic manipulation; formal verification; constraint solving; and knowledge discovery.

Автор: Frank G. Garvan; Mourad E.H. Ismail
Название: Symbolic Computation, Number Theory, Special Functions, Physics and Combinatorics
ISBN: 1461379644 ISBN-13(EAN): 9781461379645
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These are the proceedings of the conference "Symbolic Computation, Number Theory, Special Functions, Physics and Combinatorics" held at the Department of Mathematics, University of Florida, Gainesville, from November 11 to 13, 1999.

Автор: Patrizia Gianni
Название: Symbolic and Algebraic Computation
ISBN: 3540510842 ISBN-13(EAN): 9783540510840
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Thomas A. Henzinger; Shankar Sastry
Название: Hybrid Systems: Computation and Control
ISBN: 3540643583 ISBN-13(EAN): 9783540643586
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This work constitutes the refereed proceedings of the First International Workshop on Hybrid Systems: Computation and Control. The 27 papers focus on mathematical methods for the rigorous and systematic design and analysis of hybrid systems.