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 [u.a.] : Springer, 1995.
Series: Lecture notes in computer science, 910.
Edition/Format:   Print book : EnglishView all editions and formats
Publication:Constraint Programming: Basics and Trends.
Database:WorldCat
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: Châtillon-sur-Seine (1994)
Kongress
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 S : graph. Darst.
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_u_a> ; # Berlin u.a.
   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://experiment.worldcat.org/entity/work/data/865010211#Person/podelski_andreas> ; # 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_u_a_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: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#Person/podelski_andreas> # Andreas Podelski
    a schema:Person ;
   schema:familyName "Podelski" ;
   schema:givenName "Andreas" ;
   schema:name "Andreas Podelski" ;
    .

<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://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 "2016-05-09" ;
   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.