ISBN: 9783540573227
This volume contains the papers, updated in some cases, presented at the first AISMC (Artificial Intelligence and Symbolic Mathematical Computations)conference, held in Karlsruhe, August … More...
BarnesandNoble.com new in stock. Shipping costs:zzgl. Versandkosten., plus shipping costs Details... |
1992, ISBN: 9783540573227
This volume contains the papers, updated in some cases, presented at the first AISMC (Artificial Intelligence andSymbolic Mathematical Computations)conference, held inKarlsruhe, August 3-… More...
BetterWorldBooks.com used in stock. Shipping costs:zzgl. Versandkosten., plus shipping costs Details... |
ISBN: 9783540573227
*Artificial Intelligence and Symbolic Mathematical Computing* - International Conference AISMC-1 Karlsruhe Germany August 3-6 1992. Proceedings. Auflage 1993 / Taschenbuch für 53.49 € / A… More...
Hugendubel.de Shipping costs:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
Artificial Intelligence and Symbolic Mathematical Computing International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings - used book
1993, ISBN: 9783540573227
[PU: Springer Berlin], Gepflegter, sauberer Zustand. Außen: verschmutzt. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. 96413/202, DE, [SC: 0.00], gebraucht; s… More...
booklooker.de |
Artificial Intelligence and Symbolic Mathematical Computing- International Conference AISMC-1, Karlsuhe, Germany, August 1992 Proceedings Lecture Notes in Computer Science 737 - Paperback
1993, ISBN: 3540573224
[EAN: 9783540573227], [SC: 3.5], [PU: Springer, Berlin et.al.], MATHEMATIK, MATHEMATICS, KÜNSTLICHE INTELLIGENZ, COMPUTERWISSENSCHAFTEN, INFORMATIK, AISMC NOISBN, Paperback 23x16 cm, slig… More...
ZVAB.com Antiquariat Puderbach, Dresden, Germany [51544677] [Rating: 4 (von 5)] Shipping costs: EUR 3.50 Details... |
Artificial Intelligence and Symbolic Mathematical Computing: International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings Jacqu - new book
ISBN: 9783540573227
This volume contains the papers, updated in some cases, presented at the first AISMC (Artificial Intelligence and Symbolic Mathematical Computations)conference, held in Karlsruhe, August … More...
1992, ISBN: 9783540573227
This volume contains the papers, updated in some cases, presented at the first AISMC (Artificial Intelligence andSymbolic Mathematical Computations)conference, held inKarlsruhe, August 3-… More...
ISBN: 9783540573227
*Artificial Intelligence and Symbolic Mathematical Computing* - International Conference AISMC-1 Karlsruhe Germany August 3-6 1992. Proceedings. Auflage 1993 / Taschenbuch für 53.49 € / A… More...
Artificial Intelligence and Symbolic Mathematical Computing International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings - used book
1993, ISBN: 9783540573227
[PU: Springer Berlin], Gepflegter, sauberer Zustand. Außen: verschmutzt. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. 96413/202, DE, [SC: 0.00], gebraucht; s… More...
Artificial Intelligence and Symbolic Mathematical Computing- International Conference AISMC-1, Karlsuhe, Germany, August 1992 Proceedings Lecture Notes in Computer Science 737 - Paperback
1993, ISBN: 3540573224
[EAN: 9783540573227], [SC: 3.5], [PU: Springer, Berlin et.al.], MATHEMATIK, MATHEMATICS, KÜNSTLICHE INTELLIGENZ, COMPUTERWISSENSCHAFTEN, INFORMATIK, AISMC NOISBN, Paperback 23x16 cm, slig… More...
Bibliographic data of the best matching book
Author: | |
Title: | |
ISBN: |
Details of the book - Artificial Intelligence and Symbolic Mathematical Computing: International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings Jacqu
EAN (ISBN-13): 9783540573227
ISBN (ISBN-10): 3540573224
Hardcover
Paperback
Publishing year: 1993
Publisher: Springer Berlin Heidelberg Core >1 >T
305 Pages
Weight: 0,491 kg
Book in our database since 2007-02-05T19:13:26-05:00 (New York)
Detail page last modified on 2024-01-30T12:58:28-05:00 (New York)
ISBN/EAN: 9783540573227
ISBN - alternate spelling:
3-540-57322-4, 978-3-540-57322-7
Alternate spelling and related search-keywords:
Book author: calmet, campbell john, john jacques, karlsruhe
Book title: mathematical, computing, proceedings international conference, the intelligence art, artificial intelligence symbolic computation, lecture notes computer science, who who germany, science 1992, august 1992, karlsruhe 1715 1965
Information from Publisher
Author: Jacques Calmet; John A. Campbell
Title: Lecture Notes in Computer Science; Artificial Intelligence and Symbolic Mathematical Computing - International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings
Publisher: Springer; Springer Berlin
315 Pages
Publishing year: 1993-10-05
Berlin; Heidelberg; DE
Language: English
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
IX, 315 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; AI; Computer Algebra; Computeralgebra; Künstliche Intelligenz; Qualitative Modeling; Qualitatives Modellieren; Scientific Computing; Symbolic Mathematical Computation; Symbolisches Mathematisches Rechnen; Wissenschaftliches Re; artificial intelligence; intelligence; combinatorics; Artificial Intelligence; Theory of Computation; Symbolic and Algebraic Manipulation; Discrete Mathematics; Numerical Analysis; Theoretische Informatik; Mathematik für Informatiker; Diskrete Mathematik; Numerische Mathematik; EA
Artificial intelligence and symbolic mathematical computations.- Qualitative modeling of physical systems in AI research.- On the topological structure of configuration spaces.- A symbolic approach to interval constraint problems.- An algebraic approach to knowledge-based modeling.- Intelligent user interfaces for symbolic and numeric computation.- The progress towards an intelligent assistant — A discussion paper.- On mathematical modeling in robotics.- Gröbner bases: Strategies and applications.- Heuristic search strategies for Cylindrical Algebraic Decomposition.- Unified domains and abstract computational structures.- Completion and invariant theory in symbolic computation and artificial intelligence.- A type-coercion problem in computer algebra.- Algorithmic development of power series.- A cooperative approach to query processing: Integrating historical, structural, and behavioral knowledge sources.- A desk-top sequent calculus machine.- Gentzen-style characterizations of Negation as Failure.- A new translation from deduction into integer programming.- Reasoning about time.- Learning qualitative physics reasoning from regime analysis.- Qualitative mathematical modelling of genetic algorithms.More/other books that might be very similar to this book
Latest similar book:
9783540371069 Mathematical Knowledge Management (Jonathan Borwein; William M. Farmer)
- 9783540371069 Mathematical Knowledge Management (Jonathan Borwein; William M. Farmer)
- 9780387573229 Artificial Intelligence and Symbolic Mathematical Computing: International Conference Aismc-1 Karlsruhe, Germany, August 3-6, 1992 : Proceedings (Lecture Notes in Computer Science) (Jacques Calmet; Editor-John A. Campbell)
- 9783540371045 Mathematical Knowledge Management (Farmer, William M. Borwein, Jonathan M.)
- Mathematical Knowledge Management
< to archive...