skip to content
Set theory for computing : from decision procedures to declarative programming with sets Preview this item
ClosePreview this item
Checking...

Set theory for computing : from decision procedures to declarative programming with sets

Author: Domenico Cantone; Eugenio Omodeo; Alberto Policriti
Publisher: New York : Springer, ©2001.
Series: Monographs in computer science.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science  Read more...

Rating:

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

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

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

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Domenico Cantone; Eugenio Omodeo; Alberto Policriti
ISBN: 0387951970 9780387951973
OCLC Number: 46240279
Description: xviii, 409 pages : illustrations ; 24 cm.
Contents: I. Introduction. 1. What Is Computable Set Theory? 2. Logical Background --
II. Basics for Set-Theoretic Reasoning. 3. Axiomatic Views of Aggregates. 4. Semantic Views of Aggregates. 5. Sets for Problem Solving. 6. Decision Problems and Some Solutions. 7. Inference Techniques and Methods --
III. Decision Methods. 8. Set/Hyperset Unification Algorithms. 9. (*) a Syllogistic Solitaire. 10. Stratified Syllogistics --
IV. Set-Specific Inference Engines. 11. Quantitative Set Reasoning. 12. Set Theory for Nonclassic Logics. 13. Logic Programming with Sets. 14. Syllogistic Tableaux.
Series Title: Monographs in computer science.
Responsibility: Domenico Cantone, Eugenio Omodeo, Alberto Policriti ; foreword by Jacob T. Schwatz.
More information:

Reviews

Editorial reviews

Publisher Synopsis

From the reviews:"The book is an up-to-date and well-organized collection of techniques and results concerning the problem of dealing with sets in computer science. ... In particular, the book can be Read more...

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

Tags

Be the first.

Similar Items

Related Subjects:(5)

User lists with this item (1)

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/46240279> # Set theory for computing : from decision procedures to declarative programming with sets
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "46240279" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://id.worldcat.org/fast/1113587> ; # Set theory
   schema:about <http://id.worldcat.org/fast/871985> ; # Computable functions
   schema:about <http://dewey.info/class/511.322/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/35472019#Topic/mengenlehre> ; # Mengenlehre
   schema:about <http://experiment.worldcat.org/entity/work/data/35472019#Topic/deklarative_programmierung> ; # Deklarative Programmierung
   schema:about <http://experiment.worldcat.org/entity/work/data/35472019#Topic/berechenbare_funktion> ; # Berechenbare Funktion
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/64260522> ; # Alberto Policriti
   schema:contributor <http://viaf.org/viaf/34527473> ; # Eugenio Omodeo
   schema:copyrightYear "2001" ;
   schema:creator <http://viaf.org/viaf/39447609> ; # Domenico Cantone
   schema:datePublished "2001" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/35472019> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/35472019#Series/monographs_in_computer_science> ; # Monographs in computer science.
   schema:name "Set theory for computing : from decision procedures to declarative programming with sets"@en ;
   schema:productID "46240279" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/46240279#PublicationEvent/new_york_springer_2001> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/35472019#Agent/springer> ; # Springer
   schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009578281&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
   schema:url <http://www.ulb.tu-darmstadt.de/tocs/101201354.pdf> ;
   schema:url <http://catdir.loc.gov/catdir/enhancements/fy0816/2001020446-t.html> ;
   schema:url <http://swbplus.bsz-bw.de/bsz094005656cov.htm> ;
   schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=009578281&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
   schema:workExample <http://worldcat.org/isbn/9780387951973> ;
   umbel:isLike <http://d-nb.info/962207233> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/46240279> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/35472019#Series/monographs_in_computer_science> # Monographs in computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/46240279> ; # Set theory for computing : from decision procedures to declarative programming with sets
   schema:name "Monographs in computer science." ;
   schema:name "Monographs in computer science" ;
    .

<http://experiment.worldcat.org/entity/work/data/35472019#Topic/berechenbare_funktion> # Berechenbare Funktion
    a schema:Intangible ;
   schema:name "Berechenbare Funktion"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/35472019#Topic/deklarative_programmierung> # Deklarative Programmierung
    a schema:Intangible ;
   schema:name "Deklarative Programmierung"@en ;
    .

<http://id.worldcat.org/fast/1113587> # Set theory
    a schema:Intangible ;
   schema:name "Set theory"@en ;
    .

<http://id.worldcat.org/fast/871985> # Computable functions
    a schema:Intangible ;
   schema:name "Computable functions"@en ;
    .

<http://viaf.org/viaf/34527473> # Eugenio Omodeo
    a schema:Person ;
   schema:familyName "Omodeo" ;
   schema:givenName "Eugenio" ;
   schema:name "Eugenio Omodeo" ;
    .

<http://viaf.org/viaf/39447609> # Domenico Cantone
    a schema:Person ;
   schema:familyName "Cantone" ;
   schema:givenName "Domenico" ;
   schema:name "Domenico Cantone" ;
    .

<http://viaf.org/viaf/64260522> # Alberto Policriti
    a schema:Person ;
   schema:familyName "Policriti" ;
   schema:givenName "Alberto" ;
   schema:name "Alberto Policriti" ;
    .

<http://worldcat.org/isbn/9780387951973>
    a schema:ProductModel ;
   schema:isbn "0387951970" ;
   schema:isbn "9780387951973" ;
    .

<http://www.worldcat.org/title/-/oclc/46240279>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/46240279> ; # Set theory for computing : from decision procedures to declarative programming with sets
   schema:dateModified "2017-12-23" ;
   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.