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

Artificial Intelligence and Symbolic Computation International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

02.09.1998

Abbildungen

XII, 316 p.

Herausgeber

Jacques Calmet + weitere

Verlag

Springer Berlin

Seitenzahl

316

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

499 g

Auflage

1998

Sprache

Englisch

ISBN

978-3-540-64960-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

02.09.1998

Abbildungen

XII, 316 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

316

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

499 g

Auflage

1998

Sprache

Englisch

ISBN

978-3-540-64960-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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 Computation
  • Produktbild: Artificial Intelligence and Symbolic Computation
  • An inductive logic programming query language for database mining.- Bertrand Russell, Herbrand’s theorem, and the assignment statement.- Representing and reasoning with context.- From integrated reasoning specialists to “plug-and-play? reasoning components.- Reasoning about coding theory: The benefits we get from computer algebra.- Automatic generation of epsilon-delta proofs of continuity.- Finite model search for equational theories (FMSET).- Specification and integration of theorem provers and computer algebra systems.- COLETTE, prototyping CSP solvers using a rule-based language.- An evolutionary algorithm for welding task sequence ordering.- Intuitionistic proof transformations and their application to constructive program synthesis.- Combining algebraic computing and term-rewriting for geometry theorem proving.- Cooperation between top-down and bottom-up theorem provers by subgoal clause transfer.- Polymorphic call-by-value calculus based on classical proofs.- Inference and verification in Medical Appropriateness Criteria using Gröbner Bases.- The unification problem for one relation Thue Systems.- Basic Completion with E-cycle Simplification.- SoleX: A domain-independent scheme for constraint solver extension.- Optimising propositional modal satisfiability for description logic subsumption.- Instantiation of existentially quantified variables in inductive specification proofs.- Knowledge discovery objects and queries in Distributed Knowledge Systems.- ALLTYPES: An algebraic language and TYPE system.- Real parametrization of algebraic curves.- Non-clausal reasoning with propositional definite theories.