Design and Implementation of Symbolic Computation Systems, Jacques Calmet; Carla Limongelli

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

Автор: 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: 354057235X ISBN-13(EAN): 9783540572350
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A collection of research papers that focuses on innovative methodological and technological aspects of the design and implementation of hardware and software systems for symbolic and algebraic computing, automated reasoning, geometric modelling and automatic programming.

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

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

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

Автор: Hoai An Le Thi; Tao Pham Dinh; Ngoc Thanh Nguyen
Название: Modelling, Computation and Optimization in Information Systems and Management Sciences
ISBN: 3319181602 ISBN-13(EAN): 9783319181608
Издательство: Springer
Рейтинг:
Цена: 25155.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Combinatorial Optimization and Applications.- DC Programming and DCA: Thirty Years of Developments.- Dynamic Optimization.- Modelling and Optimization in Nancial Engineering.- Multiobjective Programming.- Numerical Optimization.- Spline Approximation and Optimization.- Variational Principles and Applications.

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