- 3 Ergebnisse
Kleinster Preis: € 58,84, größter Preis: € 59,49, Mittelwert: € 59,27
1
Design and Implementation of Symbolic Computation Systems - Jacques Calmet; Carla Limongelli
Bestellen
bei Springer.com
€ 58,84
Bestellen
Details und Versand
gesponserter Link
Jacques Calmet; Carla Limongelli:

Design and Implementation of Symbolic Computation Systems - neues Buch

ISBN: 9783540706359

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 S… Mehr…

new in stock. Versandkosten:más costos de envío., zzgl. Versandkosten
zuklappen (X)
2
Design and Implementation of Symbolic Computation Systems - Jacques Calmet; Carla Limongelli
Bestellen
bei Springer.com
€ 59,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Jacques Calmet; Carla Limongelli:

Design and Implementation of Symbolic Computation Systems - neues Buch

ISBN: 9783540706359

Computer Science; Theory of Computation; Symbolic and Algebraic Manipulation; Algorithms; Software Engineering/Programming and Operating Systems; Artificial Intelligence (incl. Robotics) … Mehr…

  - Versandkosten: EUR 0.00
zuklappen (X)
3
Design and Implementation of Symbolic Computation Systems - Jacques Calmet; Carla Limongelli
Bestellen
bei Springer.com
€ 59,49
Bestellen
Details und Versand
gesponserter Link
Jacques Calmet; Carla Limongelli:
Design and Implementation of Symbolic Computation Systems - neues Buch

ISBN: 9783540706359

Computer Science; Theory of Computation; Symbolic and Algebraic Manipulation; Algorithms; Software Engineering/Programming and Operating Systems; Artificial Intelligence (incl. Robotics) … Mehr…

  - Versandkosten:zzgl. Versandkosten.
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Design and Implementation of Symbolic Computation Systems
Autor:
Titel:
ISBN-Nummer:

9783540706359

Detailangaben zum Buch - Design and Implementation of Symbolic Computation Systems


EAN (ISBN-13): 9783540706359
Herausgeber: Springer Science+Business Media

Buch in der Datenbank seit 2013-12-13T03:58:53+01:00 (Zurich)
Detailseite zuletzt geändert am 2021-10-05T15:18:54+02:00 (Zurich)
ISBN/EAN: 9783540706359

ISBN - alternative Schreibweisen:
978-3-540-70635-9

Daten vom Verlag:

Autor/in: Jacques Calmet; Carla Limongelli
Titel: Lecture Notes in Computer Science; Design and Implementation of Symbolic Computation Systems - International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings
Verlag: Springer; Springer Berlin
362 Seiten
Erscheinungsjahr: 2005-07-01
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
IX, 362 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Algebraic Specification; Algebraische Spezifikation; Autmatisches Theorembeweisen; Automated Theorem Proving; Computer Algebra; Computeralgebra; Mathematical Software Systems; Mathematische Softwaresysteme; System; algorithms; computer-assisted surgery; geometry; programming; programming language; proving; C; Theory of Computation; Symbolic and Algebraic Manipulation; Algorithms; Software Engineering; Artificial Intelligence; Computer Science; Mathematik für Informatiker; Algorithmen und Datenstrukturen; Software Engineering; Künstliche Intelligenz; BC

Problem-oriented applications of automated theorem proving.- ?IT — A strongly-typed embeddable computer algebra library.- DiscAtinf: A general framework for implementing calculi and strategies.- Equality elimination for the tableau method.- Towards lean proof checking.- WALDMEISTER: High performance equation theorem proving.- A reflective language based on conditional term rewriting.- Term rewriting systems: An h-categorical semantic.- Generative geometric modeling in a functional environment.- Exploiting SML for experimenting with algebraic algorithms: The example of p-adic lifting.- Conditional categories and domains.- Parameterizing object specifications.- Analyzing the dynamics of a Z specification.- Walking faster.- Integer and rational arithmetic on masPar.- Parallel 3-primes FFT algorithm.- A master-slave approach to parallel term rewriting on a hierarchical multiprocessor.- Multi-agent cooperation — Concepts and applications.- Document-centered presentation of computing software: Compound documents are better workspaces.- Animating a non-executable formal specification with a distributed symbolic language.- Uniform representation of basic algebraic structures in computer algebra.- Integrating computer algebra with proof planning.- Structures for symbolic mathematical reasoning and computation.- Implementing FS0 in Isabelle: Adding structure at the metalevel.- An approach to class reasoning in symbolic computation.- An intelligent interface to numerical routines.- Computer algebra and the World Wide Web.- Interfacing REDUCE to Java.- Software architectures for computer algebra: A case study.- A deductive database for mathematical formulas.- CASA — A system for Computer Aided Constructive Algebraic geometry.- Making systems communicate and cooperate: TheCentral Control approach.- A database for number fields.- Compiling residuation for a multiparadigm symbolic programming language.- Pluggability issues in the Multi Protocol.
< zum Archiv...