The Resource Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC2, Cambridge, United Kingdom, August 35, 1994 : selected papers, Jacques Calmet, John A. Campbell (Eds.)
Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC2, Cambridge, United Kingdom, August 35, 1994 : selected papers, Jacques Calmet, John A. Campbell (Eds.)
Resource Information
The item Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC2, Cambridge, United Kingdom, August 35, 1994 : selected papers, Jacques Calmet, John A. Campbell (Eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of MissouriSt. Louis Libraries.This item is available to borrow from 1 library branch.
Resource Information
The item Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC2, Cambridge, United Kingdom, August 35, 1994 : selected papers, Jacques Calmet, John A. Campbell (Eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of MissouriSt. Louis Libraries.
This item is available to borrow from 1 library branch.
 Summary
 "This volume contains thoroughly revised full versions of the best papers presented at the Second International Conference on Artificial Intelligence and Sympolic Mathematical Computation, held in Cambridge, UK in August 1994. The 19 papers included give clear evidence that now, after a quite long period when AI and mathematics appeared to have arranged an amicable separation, these fields are growing together again as an area of fruitful interdisciplinary activities. This book explores the interaction between mathematical computation and clears the ground for future concentration on topics that can further unify the field."PUBLISHER'S WEBSITE
 Language
 eng
 Extent
 x, 275 pages
 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 ... [et al.]
 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 kalgebra effective calculus / L.M. Laita ... [et al.]
 Subdefinite computations and symbolic transformations in the UniCalc solver / A. Semenov, A. Babichev, A. Leschenko
 Isbn
 9783540601562
 Label
 Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC2, Cambridge, United Kingdom, August 35, 1994 : selected papers
 Title
 Integrating symbolic mathematical computation and artificial intelligence
 Title remainder
 Second International Conference, AISMC2, Cambridge, United Kingdom, August 35, 1994 : selected papers
 Statement of responsibility
 Jacques Calmet, John A. Campbell (Eds.)
 Language
 eng
 Summary
 "This volume contains thoroughly revised full versions of the best papers presented at the Second International Conference on Artificial Intelligence and Sympolic Mathematical Computation, held in Cambridge, UK in August 1994. The 19 papers included give clear evidence that now, after a quite long period when AI and mathematics appeared to have arranged an amicable separation, these fields are growing together again as an area of fruitful interdisciplinary activities. This book explores the interaction between mathematical computation and clears the ground for future concentration on topics that can further unify the field."PUBLISHER'S WEBSITE
 Cataloging source
 DLC
 Illustrations
 illustrations
 Index
 no index present
 Literary form
 non fiction
 http://bibfra.me/vocab/lite/meetingDate
 1994
 http://bibfra.me/vocab/lite/meetingName
 AISMC (Conference)
 Nature of contents
 bibliography
 http://library.link/vocab/relatedWorkOrContributorDate
 1940
 http://library.link/vocab/relatedWorkOrContributorName

 Calmet, Jacques
 Campbell, J. A.
 Series statement
 Lecture notes in computer science
 Series volume
 958
 http://library.link/vocab/subjectName

 Computer science
 Artificial intelligence
 Label
 Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC2, Cambridge, United Kingdom, August 35, 1994 : selected papers, Jacques Calmet, John A. Campbell (Eds.)
 Bibliography note
 Includes bibliographical references
 Carrier category
 volume
 Carrier category code

 nc
 Carrier MARC source
 rdacarrier
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 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 ... [et al.]  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 kalgebra effective calculus / L.M. Laita ... [et al.]  Subdefinite computations and symbolic transformations in the UniCalc solver / A. Semenov, A. Babichev, A. Leschenko
 Control code
 32893775
 Dimensions
 24 cm
 Extent
 x, 275 pages
 Isbn
 9783540601562
 Isbn Type
 (alk. paper)
 Lccn
 95024613
 Media category
 unmediated
 Media MARC source
 rdamedia
 Media type code

 n
 Other physical details
 illustrations
 System control number
 (WaOLN)1682111
 Label
 Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC2, Cambridge, United Kingdom, August 35, 1994 : selected papers, Jacques Calmet, John A. Campbell (Eds.)
 Bibliography note
 Includes bibliographical references
 Carrier category
 volume
 Carrier category code

 nc
 Carrier MARC source
 rdacarrier
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 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 ... [et al.]  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 kalgebra effective calculus / L.M. Laita ... [et al.]  Subdefinite computations and symbolic transformations in the UniCalc solver / A. Semenov, A. Babichev, A. Leschenko
 Control code
 32893775
 Dimensions
 24 cm
 Extent
 x, 275 pages
 Isbn
 9783540601562
 Isbn Type
 (alk. paper)
 Lccn
 95024613
 Media category
 unmediated
 Media MARC source
 rdamedia
 Media type code

 n
 Other physical details
 illustrations
 System control number
 (WaOLN)1682111
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.umsl.edu/portal/Integratingsymbolicmathematicalcomputationand/ug1cQCJTuPw/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.umsl.edu/portal/Integratingsymbolicmathematicalcomputationand/ug1cQCJTuPw/">Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC2, Cambridge, United Kingdom, August 35, 1994 : selected papers, Jacques Calmet, John A. Campbell (Eds.)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.umsl.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.umsl.edu/">University of MissouriSt. Louis Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC2, Cambridge, United Kingdom, August 35, 1994 : selected papers, Jacques Calmet, John A. Campbell (Eds.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.umsl.edu/portal/Integratingsymbolicmathematicalcomputationand/ug1cQCJTuPw/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.umsl.edu/portal/Integratingsymbolicmathematicalcomputationand/ug1cQCJTuPw/">Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC2, Cambridge, United Kingdom, August 35, 1994 : selected papers, Jacques Calmet, John A. Campbell (Eds.)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.umsl.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.umsl.edu/">University of MissouriSt. Louis Libraries</a></span></span></span></span></div>