Skip to search
Skip to main content
Catalog
Help
Feedback
Your Account
Library Account
Bookmarks
(
0
)
Search History
Search in
Keyword
Title (keyword)
Author (keyword)
Subject (keyword)
Title starts with
Subject (browse)
Author (browse)
Author (sorted by title)
Call number (browse)
search for
Search
Advanced Search
Bookmarks
(
0
)
Princeton University Library Catalog
Start over
Cite
Send
to
SMS
Email
EndNote
RefWorks
RIS
Printer
Bookmark
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
Available Online
Springer Nature - Springer Lecture Notes in Computer Science eBooks
Springer Nature - Springer Book Archive - Springer Computer Science
Copies in the Library
Location
Call Number
Status
Location Service
Notes
ReCAP - Remote Storage
QA76.9.M35 I567 1995
Browse related items
Request
Details
Subject(s)
Computer science
—
Mathematics
—
Congresses
[Browse]
Artificial intelligence
—
Congresses
[Browse]
Related name
Calmet, Jacques
[Browse]
Campbell, J. A., 1940-
[Browse]
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.
Show 15 more Contents items
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
Ask a Question
Suggest a Correction
Report Harmful Language
Supplementary Information
Other versions
Integrating Symbolic Mathematical Computation and Artificial Intelligence [electronic resource] : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994. Selected Papers / edited by Jacques Calmet, John A. Campbell.
id
99125222560506421
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.)
id
SCSB-8568188