Matches in Harvard for { <http://id.lib.harvard.edu/aleph/006135776/catalog> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- catalog contributor b8589678.
- catalog contributor b8589679.
- catalog contributor b8589680.
- catalog created "c1995.".
- catalog date "1995".
- catalog date "c1995.".
- catalog dateCopyrighted "c1995.".
- catalog description "Includes bibliographical references.".
- catalog description "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.".
- catalog extent "x, 275 p. :".
- catalog identifier "3540601562 (alk. paper)".
- catalog isPartOf "Lecture notes in computer science ; 958".
- catalog issued "1995".
- catalog issued "c1995.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog subject "006.3 20".
- catalog subject "Artificial intelligence Congresses.".
- catalog subject "Computer science Mathematics Congresses.".
- catalog subject "QA76.9.M35 I567 1995".
- catalog tableOfContents "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.".
- catalog title "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.".
- catalog type "Cambridge (1994) swd".
- catalog type "Conference proceedings. fast".
- catalog type "text".