Atjaunināt sīkdatņu piekrišanu

Artificial Intelligence and Symbolic Computation: International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings 1998 ed. [Mīkstie vāki]

Edited by , Edited by
  • Formāts: Paperback / softback, 316 pages, height x width: 235x155 mm, weight: 1020 g, XII, 316 p., 1 Paperback / softback
  • Sērija : Lecture Notes in Artificial Intelligence 1476
  • Izdošanas datums: 02-Sep-1998
  • Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3540649603
  • ISBN-13: 9783540649601
Citas grāmatas par šo tēmu:
  • Mīkstie vāki
  • Cena: 46,91 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Standarta cena: 55,19 €
  • Ietaupiet 15%
  • Grāmatu piegādes laiks ir 3-4 nedēļas, ja grāmata ir uz vietas izdevniecības noliktavā. Ja izdevējam nepieciešams publicēt jaunu tirāžu, grāmatas piegāde var aizkavēties.
  • Daudzums:
  • Ielikt grozā
  • Piegādes laiks - 4-6 nedēļas
  • Pievienot vēlmju sarakstam
Artificial Intelligence and Symbolic Computation: International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings 1998 ed.Palielināt
  • Formāts: Paperback / softback, 316 pages, height x width: 235x155 mm, weight: 1020 g, XII, 316 p., 1 Paperback / softback
  • Sērija : Lecture Notes in Artificial Intelligence 1476
  • Izdošanas datums: 02-Sep-1998
  • Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3540649603
  • ISBN-13: 9783540649601
Citas grāmatas par šo tēmu:
Permanent link: https://www.kriso.lv/db/9783540649601.html
Keywords:
This book constitutes the refereed proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC'98, held in Plattsburgh, NY, in September 1998. The 24 revised full papers presented were carefully selected for inclusion in the book. The papers address various aspects of symbolic computation and formal reasoning such as inductive logic programming, context reasoning, computer algebra, proof theory and theorem proving, term rewriting, algebraic manipulation, formal verification, constraint solving, and knowledge discovery.

Papildus informācija

Springer Book Archives
Invited Talks An Inductive Logic Programming Query Language for Database Mining (Extended Abstract) 1(13) Luc De Raedt Bertrand Russell, Herbrands Theorem, and the Assignment Statement 14(15) Melvin Fitting Representing and Reasoning with Context 29(13) Richmond H. Thomason Regular Talks From Integrated Reasoning Specialists to ``Plug-and-Play Reasoning Components 42(13) Alessandro Armando Silvio Ranise Reasoning About Coding Theory: The Benefits We Get from Computer Algebra 55(12) Clemens Ballarin Lawrence C. Paulson Automatic Generation of Epsilon-Delta Proofs of Continuity 67(17) Michael Beeson Finite Model Search for Equational Theories (FMSET) 84(10) Belaid Benhamou Laurent Heocque Specification and Integration of Theorem Provers and Computer Algebra Systems 94(13) P.G. Bertoli J. Calmet F. Giunchiglia K. Homann COLETTE, Prototyping CSP Solvers Using a Rule-Based Language 107(13) Carlos Castro An Evolutionary Algorithm for Welding Task Sequence Ordering 120(12) Martin Damsbo Peder Thusgaard Ruhoff Intuitionistic Proof Transformations and Their Application to Constructive Program Synthesis 132(13) Uwe Egli Stephan Schmitt Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving 145(12) Stephane Fevre Dongming Wang Cooperation Between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause Transfer 157(13) Dirk Fuchs Polymorphic Call-by-Value Calculus Based on Classical Proofs (Extended Abstract) 170(13) Ken-etsu Fujita Inference and Verification in Medical Appropriateness Criteria Using Grobner Bases 183(12) L.M. Laita E. Roanes-Lozano V. Maojo The Unification Problem for One Relation Thue Systems 195(14) Christopher Lynch Basic Completion with E-cycle Simplification 209(13) Christopher Lynch Christelle Scharff SoleX: A Domain-Independent Scheme for Constraint Solver Extension 222(12) Eric Monfroy Christophe Ringeissen Optimising Propositional Modal Satisfiability for Description Logic Subsumption 234(13) Ian Horrocks Peter F. Patel-Schneider Instantiation of Existentially Quantified Variables in Induction Specification Proofs 247(12) Brigitte Pientka Christoph Kreitz Knowledge Discovery Objects and Queries in Distributed Knowledge Systems 259(11) Zbigniew W. Ras Jiyun Zheng ALLTYPES: An ALgebraic Language and TYPE System 270(14) Fritz Schwarz Real Parametrization of Algebraic Curves 284(12) J. Rafael Sendra Franz Winkler Non-clausal Reasoning with Propositional Definite Theories 296(13) Zbigniew Stachniak Author Index 309