skip to content
Constraint programming : basics and trends ; 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 ; selected papers Preview this item
ClosePreview this item
Checking...

Constraint programming : basics and trends ; 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 ; selected papers

Author: Andreas Podelski
Publisher: Berlin : Springer, 1995.
Series: Lecture notes in computer science, 910.
Edition/Format:   Print book : EnglishView all editions and formats
Publication:Constraint Programming: Basics and Trends.
Summary:

These are the proceedings of an advanced seminar which presented new research results to the theoretical computer science community. The field of constraint (logic) programming and constraint-based  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

Genre/Form: Kongress
Châtillon-sur-Seine (1994)
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Andreas Podelski
ISBN: 3540591559 9783540591559 0387591559 9780387591551 0890065888 9780890065884
OCLC Number: 246326350
In: Podelski, Andreas
Description: IX, 316 Seiten : Diagramme.
Contents: Interval constraint logic programming.- Solving pseudo-Boolean constraints.- Enhancing the constraint-solving power of clp(FD) by means of path-consistency methods.- Constraints in term algebras an overview of constraint solving techniques.- Constructive negation by pruning and optimization higher-order predicates for CLP and CC languages.- Constraint handling rules.- Linear constraint solving in CLP-Languages.- On the use of constraints in automated deduction.- Abstract interpretation and finite domain symbolic constraints.- Concurrency and Concurrent Constraint Programming.- Toupie: A constraint language for model checking.- Imagining CLP(?,???).- An architecture for cooperating constraint solvers on reals.- The definition of Kernel Oz.- Design, implementation, and evaluation of the constraint language cc(FD).
Series Title: Lecture notes in computer science, 910.
Responsibility: Andreas Podelski (ed.).
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/246326350> # Constraint programming : basics and trends ; 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 ; selected papers
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "246326350" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/865010211#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://id.worldcat.org/fast/875873> ; # Constraint programming (Computer science)
    schema:about <http://experiment.worldcat.org/entity/work/data/865010211#Topic/constraint_programmierung> ; # Constraint-Programmierung
    schema:about <http://dewey.info/class/005.11/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/865010211#Topic/kongress> ; # Kongress
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/41908895> ; # Andreas Podelski
    schema:contributor <http://experiment.worldcat.org/entity/work/data/865010211#Meeting/french_spring_school_of_theoretical_computer_science_22nd_1994_chatillon_sur_seine_france> ; # French Spring School of Theoretical Computer Science (22nd : 1994 : Châtillon-sur-Seine, France)
    schema:datePublished "1995" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/865010211> ;
    schema:genre "Kongress" ;
    schema:genre "Châtillon-sur-Seine (1994)" ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/865010211#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:name "Constraint programming : basics and trends ; 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 ; selected papers" ;
    schema:productID "246326350" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/246326350#PublicationEvent/berlin_springer_1995> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/865010211#Agent/springer> ; # Springer
    schema:url <http://swbplus.bsz-bw.de/bsz044849486cov.htm> ;
    schema:url <http://www.gbv.de/dms/bowker/toc/9783540591559.pdf> ;
    schema:workExample <http://worldcat.org/isbn/9780890065884> ;
    schema:workExample <http://worldcat.org/isbn/9783540591559> ;
    schema:workExample <http://worldcat.org/isbn/9780387591551> ;
    umbel:isLike <http://d-nb.info/943563003> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/246326350> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/865010211#Meeting/french_spring_school_of_theoretical_computer_science_22nd_1994_chatillon_sur_seine_france> # French Spring School of Theoretical Computer Science (22nd : 1994 : Châtillon-sur-Seine, France)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/865010211#Place/chatillon_sur_seine_france> ; # Châtillon-sur-Seine, France)
    schema:name "French Spring School of Theoretical Computer Science (22nd : 1994 : Châtillon-sur-Seine, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/865010211#Place/chatillon_sur_seine_france> # Châtillon-sur-Seine, France)
    a schema:Place ;
    schema:name "Châtillon-sur-Seine, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/865010211#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/246326350> ; # Constraint programming : basics and trends ; 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 ; selected papers
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/865010211#Topic/constraint_programmierung> # Constraint-Programmierung
    a schema:Intangible ;
    schema:name "Constraint-Programmierung" ;
    .

<http://id.worldcat.org/fast/875873> # Constraint programming (Computer science)
    a schema:Intangible ;
    schema:name "Constraint programming (Computer science)" ;
    .

<http://viaf.org/viaf/41908895> # Andreas Podelski
    a schema:Person ;
    schema:familyName "Podelski" ;
    schema:givenName "Andreas" ;
    schema:name "Andreas Podelski" ;
    .

<http://worldcat.org/isbn/9780387591551>
    a schema:ProductModel ;
    schema:isbn "0387591559" ;
    schema:isbn "9780387591551" ;
    .

<http://worldcat.org/isbn/9780890065884>
    a schema:ProductModel ;
    schema:isbn "0890065888" ;
    schema:isbn "9780890065884" ;
    .

<http://worldcat.org/isbn/9783540591559>
    a schema:ProductModel ;
    schema:isbn "3540591559" ;
    schema:isbn "9783540591559" ;
    .

<http://www.worldcat.org/title/-/oclc/246326350>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/246326350> ; # Constraint programming : basics and trends ; 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 ; selected papers
    schema:dateModified "2018-06-13" ;
    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.