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 … Mehr…
BarnesandNoble.com new in stock. Versandkosten:zzgl. Versandkosten. 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-… Mehr…
BetterWorldBooks.com used in stock. Versandkosten:zzgl. Versandkosten. 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… Mehr…
Hugendubel.de Versandkosten: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 - gebrauchtes Buch
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… Mehr…
booklooker.de |
Artificial Intelligence and Symbolic Mathematical Computing- International Conference AISMC-1, Karlsuhe, Germany, August 1992 Proceedings Lecture Notes in Computer Science 737 - Taschenbuch
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… Mehr…
ZVAB.com Antiquariat Puderbach, Dresden, Germany [51544677] [Rating: 4 (von 5)] Versandkosten: EUR 3.50 Details... |
Artificial Intelligence and Symbolic Mathematical Computing: International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings Jacqu - neues Buch
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 … Mehr…
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-… Mehr…
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… Mehr…
Artificial Intelligence and Symbolic Mathematical Computing International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings - gebrauchtes Buch
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… Mehr…
Artificial Intelligence and Symbolic Mathematical Computing- International Conference AISMC-1, Karlsuhe, Germany, August 1992 Proceedings Lecture Notes in Computer Science 737 - Taschenbuch
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… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - 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
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1993
Herausgeber: Springer Berlin Heidelberg Core >1 >T
305 Seiten
Gewicht: 0,491 kg
Buch in der Datenbank seit 2007-02-06T01:13:26+01:00 (Berlin)
Detailseite zuletzt geändert am 2024-01-30T18:58:28+01:00 (Berlin)
ISBN/EAN: 9783540573227
ISBN - alternative Schreibweisen:
3-540-57322-4, 978-3-540-57322-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: calmet, campbell john, john jacques, karlsruhe
Titel des Buches: 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
Daten vom Verlag:
Autor/in: Jacques Calmet; John A. Campbell
Titel: Lecture Notes in Computer Science; Artificial Intelligence and Symbolic Mathematical Computing - International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings
Verlag: Springer; Springer Berlin
315 Seiten
Erscheinungsjahr: 1993-10-05
Berlin; Heidelberg; DE
Sprache: Englisch
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.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
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
< zum Archiv...