Integrating symbolic mathematical computation and artificial intelligence : second international conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers / Jacques Calmet, John A. Campbell, eds.

Author
AISMC-2 (1994 : Cambridge, England) [Browse]
Format
Book
Language
English
Published/​Created
Berlin ; New York : Springer-Verlag, ©1995.
Description
x, 275 pages : illustrations ; 24 cm

Availability

Copies in the Library

Location Call Number Status Location Service Notes
ReCAP - Remote StorageQA76.9.M35 I567 1995 Browse related items Request

    Details

    Subject(s)
    Series
    Lecture notes in computer science ; 958. [More in this series]
    Bibliographic references
    Includes bibliographical references.
    Contents
    • Interactive theorem proving and computer algebra / J. Ueberberg
    • A practical algorithm for geometric theorem proving / A. Rege, J. Canny
    • Combining theorem proving and symbolic mathematical computing / K. Homann, J. Calmet
    • Tools for solving problems in the scope of algebraic programming / Y.V. Kapitonova [and others]
    • Planning a proof of the intermediate value theorem / M. Chippendale
    • A general technique for automatically optimizing programs through the use of proof plans / P. Madden, I. Green
    • Datalog and TwoGroups and C++ / G. Butler
    • Linear logic and real closed fields : a way to handle situations dynamically / P. Jumpertz
    • A proof environment for arithmetic with the omega rule / S. Baker, A. Smaill
    • Using commutativity properties for controlling coercions / S.A. Missura, A. Weber
    • Theories = signatures + propositions used as types / S.A. Missura
    • The ideal structure of Gröbner base computations / S. Collart, D. Mall
    • Modeling cooperating agents scenarios by deductive planning methods and logical fiberings / J. Pfalzgraf, K. Stokkermans, U.C. Sigmund
    • Propagation of mathematical constraints in subdefinite models / V. Telerman --Combining computer algebra and rule based reasoning / R. Bündgen
    • Algebraic specification of empirical inductive learning methods based on rough sets and matroid theory / S. Tsumoto, H. Tanaka
    • Subsymbolic processing using adaptive algorithms / D.J. Nettleton, R. Garigliano
    • An interpretation of the propositional Boolean algebra as a k-algebra effective calculus / L.M. Laita [and others]
    • Subdefinite computations and symbolic transformations in the UniCalc solver / A. Semenov, A. Babichev, A. Leschenko.
    ISBN
    • 3540601562 ((alk. paper))
    • 9783540601562 ((alk. paper))
    LCCN
    95024613
    OCLC
    32893775
    Statement on language in description
    Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage. Read more...
    Other views
    Staff view