|
|
|
|
| LEADER |
03218nam a2200337 a 4500 |
| 001 |
c000162636 |
| 003 |
CARM |
| 005 |
19960403000000.0 |
| 008 |
950714s1995 gw a b 100 0 eng |
| 010 |
|
|
|a 95024613
|
| 019 |
1 |
|
|a 11828691
|5 LACONCORD2021
|
| 020 |
|
|
|a 3540601562
|b (alk. paper)
|
| 035 |
|
|
|a (OCoLC)32893775
|5 LACONCORD2021
|
| 040 |
|
|
|a TOC
|b eng
|c TOC
|d TOC
|
| 050 |
0 |
0 |
|a QA76.9.M35
|b I567 1995
|
| 082 |
0 |
0 |
|a 006.3
|2 20
|
| 111 |
2 |
|
|a International Conference AISMC-2,
|d (1994 :
|c Cambridge, England)
|
| 245 |
1 |
0 |
|a Integrating symbolic mathematical computation and artificial intelligence :
|b Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers /
|c Jacques Calmet, John A. Campbell, eds.
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer-Verlag,
|c c1995.
|
| 300 |
|
|
|a x, 275 p. :
|b ill. ;
|c 24 cm.
|
| 440 |
|
0 |
|a Lecture notes in computer science ;
|v 958.
|
| 504 |
|
|
|a Includes bibliographical references.
|
| 505 |
0 |
|
|a Interactive Theorem Proving and Computer Algebra / J. Ueberberg -- A Practical Algorithm for Geometric Theorem Proving / A. Rege and J. Canny -- Combining Theorem Proving and Symbolic Mathematical Computing / K. Homann and J. Calmet -- Tools for Solving Problems in the Scope of Algebraic Programming / Y. V. Kapitonova, A. A. Letichevsky, V. A. Volkov and M. S. L'vov -- 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 and 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 and A. Smaill -- Using Commutativity Properties for Controlling Coercions / S. A. Missura and A. Weber -- Theories = Signatures + Propositions Used as Types / S. A. Missura.
|
| 505 |
8 |
|
|a The Ideal Structure of Grobner Base Computations / S. Collart and D. Mall -- Modeling Cooperating Agents Scenarios by Deductive Planning Methods and Logical Fiberings / J. Pfalzgraf, K. Stokkermans and U. C. Sigmund -- Propagation of Mathematical Constraints in Subdefinite Models / V. Telerman -- Combining Computer Algebra and Rule Based Reasoning / R. Bundgen -- Algebraic Specification of Empirical Inductive Learning Methods based on Rough Sets and Matroid Theory / S. Tsumoto and H. Tanaka -- Subsymbolic Processing using Adaptive Algorithms / D. J. Nettleton and R. Garigliano -- An Interpretation of the Propositional Boolean Algebra as a k-algebra. Effective Calculus / L. M. Laita, L. de Ledesma, E. Roanes-Lozano and E. Roanes-Macias -- Subdefinite Computations and Symbolic Transformations in the UniCalc Solver / A. Semenov, A. Babichev and A. Leshchenko.
|
| 650 |
|
0 |
|a Computer science
|x Mathematics
|x Congresses.
|
| 650 |
|
0 |
|a Artificial intelligence
|v Congresses.
|
| 700 |
1 |
|
|a Calmet, Jacques.
|
| 700 |
1 |
|
|a Campbell, J. A.,
|d 1940-
|
| 852 |
8 |
|
|b CARM
|h A2:AM09F0
|i C05504
|p 0214713
|f BK
|
| 999 |
f |
f |
|i 4112b835-a416-5621-863e-256bd3cc983f
|s 39443d5d-1d45-502e-bf65-faf01360c118
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C05504
|f A2:AM09F0
|h Other scheme
|i book
|m 0214713
|