skip to content
The NCL natural constraint language Preview this item
ClosePreview this item
Checking...

The NCL natural constraint language

Author: Jianyang Zhou
Publisher: Beijing : Science Press, ©2012.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Database:WorldCat
Summary:
Annotation
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: Electronic books
Additional Physical Format: Print version:
Zhou, Jianyang.
NCL natural constraint language.
Beijing : Science Press, ©2012
(DLC) 2011936024
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Jianyang Zhou
ISBN: 9783642238451 3642238459 9787030317841 703031784X 3642238440 9783642238444
OCLC Number: 822578271
Description: 1 online resource (xiii, 311 pages) : illustrations
Contents: Introduction --
Data Types and Lexical Conventions --
Grammar and Semantics --
Tutorial Programs --
The POEM Software Platform --
Modeling and Solving --
Industrial Applications --
Relaxation and Decomposition.
Responsibility: Jianyang Zhou.
More information:

Abstract:

This book presents the Natural Constraint Language (NCL) language, a description language in conventional mathematical logic for modeling and solving constraint satisfaction problems. It uses  Read more...

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/822578271> # The NCL natural constraint language
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "822578271" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/349202104#Place/beijing> ; # Beijing
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cc> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/349202104#Thing/logic_design> ; # Logic design.
    schema:about <http://id.worldcat.org/fast/1078704> ; # Programming languages (Electronic computers)
    schema:about <http://experiment.worldcat.org/entity/work/data/349202104#Thing/operations_research> ; # Operations research.
    schema:about <http://experiment.worldcat.org/entity/work/data/349202104#Thing/operation_research_decision_theory> ; # Operation Research/Decision Theory.
    schema:about <http://experiment.worldcat.org/entity/work/data/349202104#Thing/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters.
    schema:about <http://experiment.worldcat.org/entity/work/data/349202104#Topic/computers_programming_languages_pascal> ; # COMPUTERS--Programming Languages--Pascal
    schema:about <http://experiment.worldcat.org/entity/work/data/349202104#Topic/computers_programming_languages_c♯> ; # COMPUTERS--Programming Languages--C♯
    schema:about <http://dewey.info/class/005.133/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/349202104#Thing/computer_science> ; # Computer science.
    schema:about <http://experiment.worldcat.org/entity/work/data/349202104#Topic/computers_programming_languages_java> ; # COMPUTERS--Programming Languages--Java
    schema:about <http://experiment.worldcat.org/entity/work/data/349202104#Thing/artificial_intelligence> ; # Artificial intelligence.
    schema:about <http://experiment.worldcat.org/entity/work/data/349202104#Topic/informatique> ; # Informatique
    schema:about <http://experiment.worldcat.org/entity/work/data/349202104#Thing/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages.
    schema:about <http://experiment.worldcat.org/entity/work/data/349202104#Thing/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs.
    schema:bookFormat schema:EBook ;
    schema:copyrightYear "2012" ;
    schema:creator <http://viaf.org/viaf/268736995> ; # Jianyang Zhou
    schema:datePublished "2012" ;
    schema:description "Annotation"@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/349202104> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/349202104#CreativeWork/ncl_natural_constraint_language> ;
    schema:name "The NCL natural constraint language"@en ;
    schema:productID "822578271" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/822578271#PublicationEvent/beijing_science_press_2012> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/349202104#Agent/science_press> ; # Science Press
    schema:url <http://www.myilibrary.com?id=424732> ;
    schema:url <http://dx.doi.org/10.1007/978-3-642-23845-1> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-642-23844-4> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=523260> ;
    schema:workExample <http://worldcat.org/isbn/9783642238444> ;
    schema:workExample <http://worldcat.org/isbn/9783642238451> ;
    schema:workExample <http://worldcat.org/isbn/9787030317841> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/822578271> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/349202104#Agent/science_press> # Science Press
    a bgn:Agent ;
    schema:name "Science Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/349202104#Thing/artificial_intelligence> # Artificial intelligence.
    a schema:Thing ;
    schema:name "Artificial intelligence." ;
    .

<http://experiment.worldcat.org/entity/work/data/349202104#Thing/computer_science> # Computer science.
    a schema:Thing ;
    schema:name "Computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/349202104#Thing/logic_design> # Logic design.
    a schema:Thing ;
    schema:name "Logic design." ;
    .

<http://experiment.worldcat.org/entity/work/data/349202104#Thing/logics_and_meanings_of_programs> # Logics and Meanings of Programs.
    a schema:Thing ;
    schema:name "Logics and Meanings of Programs." ;
    .

<http://experiment.worldcat.org/entity/work/data/349202104#Thing/mathematical_logic_and_formal_languages> # Mathematical Logic and Formal Languages.
    a schema:Thing ;
    schema:name "Mathematical Logic and Formal Languages." ;
    .

<http://experiment.worldcat.org/entity/work/data/349202104#Thing/operation_research_decision_theory> # Operation Research/Decision Theory.
    a schema:Thing ;
    schema:name "Operation Research/Decision Theory." ;
    .

<http://experiment.worldcat.org/entity/work/data/349202104#Thing/operations_research> # Operations research.
    a schema:Thing ;
    schema:name "Operations research." ;
    .

<http://experiment.worldcat.org/entity/work/data/349202104#Thing/programming_languages_compilers_interpreters> # Programming Languages, Compilers, Interpreters.
    a schema:Thing ;
    schema:name "Programming Languages, Compilers, Interpreters." ;
    .

<http://experiment.worldcat.org/entity/work/data/349202104#Topic/computers_programming_languages_c♯> # COMPUTERS--Programming Languages--C♯
    a schema:Intangible ;
    schema:name "COMPUTERS--Programming Languages--C♯"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/349202104#Topic/computers_programming_languages_java> # COMPUTERS--Programming Languages--Java
    a schema:Intangible ;
    schema:name "COMPUTERS--Programming Languages--Java"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/349202104#Topic/computers_programming_languages_pascal> # COMPUTERS--Programming Languages--Pascal
    a schema:Intangible ;
    schema:name "COMPUTERS--Programming Languages--Pascal"@en ;
    .

<http://id.worldcat.org/fast/1078704> # Programming languages (Electronic computers)
    a schema:Intangible ;
    schema:name "Programming languages (Electronic computers)"@en ;
    .

<http://viaf.org/viaf/268736995> # Jianyang Zhou
    a schema:Person ;
    schema:familyName "Zhou" ;
    schema:givenName "Jianyang" ;
    schema:name "Jianyang Zhou" ;
    .

<http://worldcat.org/entity/work/data/349202104#CreativeWork/ncl_natural_constraint_language>
    a schema:CreativeWork ;
    rdfs:label "NCL natural constraint language." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/822578271> ; # The NCL natural constraint language
    .

<http://worldcat.org/isbn/9783642238444>
    a schema:ProductModel ;
    schema:isbn "3642238440" ;
    schema:isbn "9783642238444" ;
    .

<http://worldcat.org/isbn/9783642238451>
    a schema:ProductModel ;
    schema:isbn "3642238459" ;
    schema:isbn "9783642238451" ;
    .

<http://worldcat.org/isbn/9787030317841>
    a schema:ProductModel ;
    schema:isbn "703031784X" ;
    schema:isbn "9787030317841" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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