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

Artificial Intelligence and Symbolic Computation International Symposium, 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

Herausgeber

Jacques Calmet + weitere

Verlag

Springer Berlin

Seitenzahl

316

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

499 g

Auflage

1998

Sprache

Englisch

ISBN

978-3-540-64960-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

02.09.1998

Herausgeber

Verlag

Springer Berlin

Seitenzahl

316

Maße (L/B/H)

23,5/15,5/1,7 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

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben: Einfach Barcode scannen, Versandetikett ausdrucken, Bücher verschicken und Thalia Geschenkkarte erhalten.

Jetzt verkaufen
Jetzt verkaufen

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
  • Contents
    Invited Talks
    An Inductive Logic Programming Query Language for Database Mining (Extended Abstract)
    Luc De Raedt
    Bertrand Russell, Herbrands theorem, and the assignment statement
    Melvin Fitting
    Representing and Reasoning with Context
    Richmond H. Thomason
    Regular Talks
    From Integrated Reasoning to lug-and-Play' Reasoning Components
    Alessandro Armando, Silvio Ranise
    Reasoning about Coding Theory: The Benefits We Get from Computer Algebra
    Clemens Ballarin, Lawrence C. Paulson
    Automatic Generation of Epsilon-Delta Proofs of Continuity
    Michael Beeson
    Finite Model Search for Equational Theories (FMSET)
    Belaid Benhamou, Laurent Heocque
    Specification and Integration of Theorem Provers and Computer Algebra Systems
    P.G.Bertoli, J.Calmet, F. Giunchiglia, K.Homann
    COLETTE, Prototyping CSP Solvers Using a Rule-Based Language Carlos Castro
    An Evolutionary Algorithm for Welding Task Sequence Ordering
    Martin Damsbo, Peder Thusgaard Ruhoff
    Intuitionistic Proof Transformations and Their Application to Constructive Program Synthesis
    Uwe Egli, Stephan Schmitt
    Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving
    Stéphane Fèvre, Dongming Wang
    Cooperation between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause Transfer
    Dirk Fuchs
    Polymorphic Call-by-Value Calculus based on Classical Proofs (Extended Abstract)
    Ken-etsu Fujita
    Inference and Verification in Medical Appropriateness Criteria using Grobner Bases
    L.M. Laita, E. Roanes-Lozano, V. Maojo
    The Unification Problem for One Relation Thue Systems
    Christopher Lynch
    Basic Completion with E-cycle Simplification
    Christopher Lynch, Christelle Scharff
    SoleX: a Domain-Independent Scheme for Constraint Solver Extension
    Eric Monfroy, Christophe Ringeissen
    Optimising Propositional Modal Satisfiability for Description Logic Subsumption
    Ian Horrocks, Peter F.Patel-Schneider
    Instantiation of Existentially Quantified Variables in Induction Specification Proofs
    Brigitte Pientka, Christoph Kreitz
    Knowledge Discovery Objects and Queries in Distributed Knowledge Systems
    Zbigniew W. Ras, Jiyun Zheng
    ALLTYPES: An ALgebraic Language and TYPE System
    Fritz Schwarz
    Real Parametrization of Algebraic Curves
    J. Rafael Sendra, Franz Winkler
    Non-Clausal Reasoning with Propositional Definite Theories
    Zbigniew Stachniak