Skip to content
Library Home
Start Over
Research Databases
E-Journals
Course Reserves
Library Home
Login to library account
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Language
Library Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced Search
|
Browse
|
Search Tips
Artificial Intelligence and Sy...
Cite this
Text this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Save to List
Permanent link
Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings / edited by Jaques Calmet, Tetsuo Ida, Dongming Wang.
Saved in:
Bibliographic Details
Corporate Author:
SpringerLink (Online service)
Other Authors:
Calmet, Jaques
(Editor)
,
Ida, Tetsuo
(Editor)
,
Wang, Dongming
(Editor)
Format:
eBook
Language:
English
Published:
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2006.
Edition:
1st ed. 2006.
Series:
Lecture Notes in Artificial Intelligence ;
4120
Springer eBook Collection.
Subjects:
Artificial intelligence.
Computer science—Mathematics.
Numerical analysis.
Mathematical logic.
Electronic resources (E-books)
Online Access:
Click to view e-book
Holy Cross Note:
Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Holdings
Description
Table of Contents
Similar Items
Staff View
Table of Contents:
Invited Presentations
Interactive Mathematical Documents
Algebra and Geometry
An Inductive Inference System and Its Rationality
Semantic Guidance for Saturation Provers
Contributed Papers
Labeled @-Calculus: Formalism for Time-Concerned Human Factors
Enhanced Theorem Reuse by Partial Theory Inclusions
Extension of First-Order Theories into Trees
The Confluence Problem for Flat TRSs
Some Properties of Triangular Sets and Improvement Upon Algorithm CharSer
A New Definition for Passivity and Its Relation to Coherence
A Full System of Invariants for Third-Order Linear Partial Differential Operators
An Algorithm for Computing the Complete Root Classification of a Parametric Polynomial
Quantifier Elimination for Quartics
On the Mixed Cayley-Sylvester Resultant Matrix
Implicitization of Rational Curves
Operator Calculus Approach to Solving Analytic Systems
Solving Dynamic Geometric Constraints Involving Inequalities
Constraints for Continuous Reachability in the Verification of Hybrid Systems
Using Hajós’ Construction to Generate Hard Graph 3-Colorability Instances
Finding Relations Among Linear Constraints
A Search Engine for Mathematical Formulae
Hierarchical Representations with Signatures for Large Expression Management.
Similar Items
Artificial Intelligence and Symbolic Computation 7th International Conference, AISC 2004 Linz, Austria, September 22–24, 2004 Proceedings
Published: (2004)
Artificial Intelligence, Automated Reasoning, and Symbolic Computation Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings
Published: (2002)
Artificial Intelligence and Symbolic Computation 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings
Published: (2018)
Artificial Intelligence and Symbolic Mathematical Computing International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings
Published: (1993)
Artificial Intelligence and Symbolic Computation International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings
Published: (1998)