Vor Ort
Merkzettel Warenkorb
  • Produktbild: Artificial Intelligence and Symbolic Mathematical Computation
  • Produktbild: Artificial Intelligence and Symbolic Mathematical Computation
Band 1138

Artificial Intelligence and Symbolic Mathematical Computation International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.09.1996

Abbildungen

VIII, 384 p.

Herausgeber

Jaques Calmet + weitere

Verlag

Springer Berlin

Seitenzahl

384

Maße (L/B/H)

23,5/15,5/2,2 cm

Gewicht

598 g

Auflage

1996

Sprache

Englisch

ISBN

978-3-540-61732-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.09.1996

Abbildungen

VIII, 384 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

384

Maße (L/B/H)

23,5/15,5/2,2 cm

Gewicht

598 g

Auflage

1996

Sprache

Englisch

ISBN

978-3-540-61732-7

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Artificial Intelligence and Symbolic Mathematical Computation
  • Produktbild: Artificial Intelligence and Symbolic Mathematical Computation
  • Symbolic computation and teaching.- Analytica — An experiment in combining theorem proving and symbolic computation.- Document recognition, semantics, and symbolic reasoning in reverse engineering of software.- Compromised updates in labelled databases.- An inference engine for propositional two-valued logic based on the radical membership problem.- Programming by demonstration: A machine learning approach to support skill acquision for robots.- Knowledge-based information processing in manufacturing cells — The present and the future.- Calculi for qualitative spatial reasoning.- Combining local consistency, symbolic rewriting and interval methods.- Proof transformation for non-compatible rewriting.- PATCH Graphs: An efficient data structure for completion of finitely presented groups.- Measuring the likely effectiveness of strategies.- A new approach on solving 3-satisfiability.- Geometry machines: From AI to SMC.- Interactive Theorem Proving and finite projective planes.- Towards modelling the topology of homogeneous manifolds by means of symbolic computation.- Solving geometrical constraint systems using CLP based on linear constraint solver.- Towards a sheaf semantics for cooperating agents scenarios.- Data types in subdefinite models.- On theorem-proving in Horn theories with built-in algebras.- Backward reasoning in systems with cut.- Soundness and completeness versus lifting property.- Reasoning with preorders and dynamic sorts using free variable tableaux.