skip to content
Integrating symbolic mathematical computation and artificial intelligence : second international conference, AISMC-2, Cambridge, United Kingdom, August 3 - 5, 1994 ; selected papers Preview this item
ClosePreview this item
Checking...

Integrating symbolic mathematical computation and artificial intelligence : second international conference, AISMC-2, Cambridge, United Kingdom, August 3 - 5, 1994 ; selected papers

Author: Jacques Calmet; AISMC
Publisher: Berlin [u.a.] Springer 1995
Series: Lecture notes in computer science, 958
Edition/Format:   Computer file : EnglishView all editions and formats
Summary:

This volume contains versions of selected papers presented at the Second Artificial Intelligence and Sympolic Mathematical Computation, held in Cambridge, 1994. It explores the interaction between  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Jacques Calmet; AISMC
ISBN: 3540601562 9783540601562
OCLC Number: 845513905
Notes: Literaturangaben
Description: Online-Ressource (X, 275 S.)
Contents: Interactive theorem proving and computer algebra.- A practical algorithm for geometric theorem proving.- Combining theorem proving and symbolic mathematical computing.- Tools for solving problems in the scope of algebraic programming.- Planning a proof of the intermediate value theorem.- A general technique for automatically optimizing programs through the use of proof plans.- Datalog and TwoGroups and C++.- Linear logic and real closed fields: A way to handle situations dynamically.- A proof environment for arithmetic with the omega rule.- Using commutativity properties for controlling coercions.- Theories = signatures + propositions used as types.- The ideal structure of Groebner base computations.- Modeling cooperating agents scenarios by deductive planning methods and logical fiberings.- Propagation of mathematical constraints in subdefinite models.- Combining computer algebra and rule based reasoning.- Algebraic specification of empirical inductive learning methods based on rough sets and matroid theory.- Subsymbolic processing using adaptive algorithms.- An interpretation of the propositional Boolean algebra as a k-algebra. Effective calculus.- Subdefinite computations and symbolic transformations in the uniCalc solver.
Series Title: Lecture notes in computer science, 958
Responsibility: Jacques Calmet ... (eds.)
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/845513905> # Integrating symbolic mathematical computation and artificial intelligence : second international conference, AISMC-2, Cambridge, United Kingdom, August 3 - 5, 1994 ; selected papers
    a bgn:ComputerFile, schema:CreativeWork ;
   library:oclcnum "845513905" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3855388949#Place/berlin_u_a> ; # Berlin u.a.
   schema:about <http://experiment.worldcat.org/entity/work/data/3855388949#Topic/kunstliche_intelligenz> ; # Künstliche Intelligenz
   schema:about <http://experiment.worldcat.org/entity/work/data/3855388949#Topic/computeralgebra> ; # Computeralgebra
   schema:about <http://experiment.worldcat.org/entity/work/data/3855388949#Place/cambridge_1994> ; # Cambridge <1994>
   schema:about <http://experiment.worldcat.org/entity/work/data/3855388949#Thing/kongress> ; # Kongress
   schema:contributor <http://experiment.worldcat.org/entity/work/data/3855388949#Meeting/international_conference_on_artificial_intelligence_and_symbolic_mathematical_computation_2_1994_08_03_05_cambridge> ; # International Conference on Artificial Intelligence and Symbolic Mathematical Computation (2 1994.08.03-05 Cambridge)
   schema:contributor <http://experiment.worldcat.org/entity/work/data/3855388949#Organization/aismc> ; # AISMC
   schema:contributor <http://experiment.worldcat.org/entity/work/data/3855388949#Person/calmet_jacques> ; # Jacques Calmet
   schema:contributor <http://experiment.worldcat.org/entity/work/data/3855388949#Meeting/aismc_2_1994_08_03_05_cambridge> ; # AISMC (2 1994.08.03-05 Cambridge)
   schema:datePublished "1995" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/3855388949> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3855388949#Series/> ; #
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3855388949#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science
   schema:name "Integrating symbolic mathematical computation and artificial intelligence : second international conference, AISMC-2, Cambridge, United Kingdom, August 3 - 5, 1994 ; selected papers" ;
   schema:productID "845513905" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/845513905#PublicationEvent/berlin_u_a_springer1995> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/3855388949#Agent/springer> ; # Springer
   schema:url <http://dx.doi.org/10.1007/3-540-60156-2> ;
   schema:url <http://www.springerlink.com/content/u3v78h7h6702> ;
   schema:url <http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-60156-2> ;
   schema:workExample <http://worldcat.org/isbn/9783540601562> ;
   schema:workExample <http://dx.doi.org/10.1007/3-540-60156-2> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/845513905> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/3855388949#Meeting/international_conference_on_artificial_intelligence_and_symbolic_mathematical_computation_2_1994_08_03_05_cambridge> # International Conference on Artificial Intelligence and Symbolic Mathematical Computation (2 1994.08.03-05 Cambridge)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/3855388949#Place/cambridge> ; # Cambridge)
   schema:name "International Conference on Artificial Intelligence and Symbolic Mathematical Computation (2 1994.08.03-05 Cambridge)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3855388949#Person/calmet_jacques> # Jacques Calmet
    a schema:Person ;
   schema:familyName "Calmet" ;
   schema:givenName "Jacques" ;
   schema:name "Jacques Calmet" ;
    .

<http://experiment.worldcat.org/entity/work/data/3855388949#Place/cambridge_1994> # Cambridge <1994>
    a schema:Place ;
   schema:name "Cambridge <1994>" ;
    .

<http://experiment.worldcat.org/entity/work/data/3855388949#Series/> #
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/845513905> ; # Integrating symbolic mathematical computation and artificial intelligence : second international conference, AISMC-2, Cambridge, United Kingdom, August 3 - 5, 1994 ; selected papers
   schema:name "" ;
    .

<http://experiment.worldcat.org/entity/work/data/3855388949#Series/lecture_notes_in_computer_science> # Lecture notes in computer science
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/845513905> ; # Integrating symbolic mathematical computation and artificial intelligence : second international conference, AISMC-2, Cambridge, United Kingdom, August 3 - 5, 1994 ; selected papers
   schema:name "Lecture notes in computer science" ;
    .

<http://experiment.worldcat.org/entity/work/data/3855388949#Topic/kunstliche_intelligenz> # Künstliche Intelligenz
    a schema:Intangible ;
   schema:name "Künstliche Intelligenz" ;
    .

<http://worldcat.org/isbn/9783540601562>
    a schema:ProductModel ;
   schema:isbn "3540601562" ;
   schema:isbn "9783540601562" ;
    .

<http://www.worldcat.org/title/-/oclc/845513905>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/845513905> ; # Integrating symbolic mathematical computation and artificial intelligence : second international conference, AISMC-2, Cambridge, United Kingdom, August 3 - 5, 1994 ; selected papers
   schema:dateModified "2017-10-22" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.