skip to content
Readings in artificial intelligence and software engineering Preview this item
ClosePreview this item
Checking...

Readings in artificial intelligence and software engineering

Author: Charles Rich; Richard C Waters
Publisher: Los Altos, Calif. : M. Kaufmann Publishers, ©1986.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Rating:

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

Subjects
More like this

 

Find a copy in the library

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

Details

Additional Physical Format: Online version:
Readings in artificial intelligence and software engineering.
Los Altos, Calif. : M. Kaufmann Publishers, ©1986
(OCoLC)562932409
Document Type: Book
All Authors / Contributors: Charles Rich; Richard C Waters
ISBN: 0934613125 9780934613125
OCLC Number: 13904623
Description: xxi, 602 pages : illustrations ; 28 cm
Contents: Deductive synthesis --
Program verification --
Transformational approaches --
Natural language specifications --
Very high level languages --
Programming by example --
Intelligent assistants --
Programming tutors --
Programming knowledge --
Domain knowledge --
Artificial intelligence programming.
Responsibility: edited by Charles Rich and Richard C. Waters.

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/13904623> # Readings in artificial intelligence and software engineering
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "13904623" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/350309606#Place/los_altos_calif> ; # Los Altos, Calif.
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cau> ;
    schema:about <http://dewey.info/class/006.3/e19/> ;
    schema:about <http://id.worldcat.org/fast/817255> ; # Artificial intelligence--Data processing
    schema:about <http://experiment.worldcat.org/entity/work/data/350309606#Topic/ontwerpen> ; # Ontwerpen
    schema:about <http://experiment.worldcat.org/entity/work/data/350309606#Topic/langages_de_programmation> ; # Langages de programmation
    schema:about <http://experiment.worldcat.org/entity/work/data/350309606#Topic/softwareentwicklung> ; # Softwareentwicklung
    schema:about <http://id.loc.gov/authorities/subjects/sh85008182> ; # Artificial intelligence--Data processing
    schema:about <http://experiment.worldcat.org/entity/work/data/350309606#Topic/programmation_informatique> ; # Programmation (Informatique)
    schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/350309606#Topic/kunstliche_intelligenz> ; # Künstliche Intelligenz
    schema:about <http://experiment.worldcat.org/entity/work/data/350309606#Topic/kunstmatige_intelligentie> ; # Kunstmatige intelligentie
    schema:about <http://experiment.worldcat.org/entity/work/data/350309606#Topic/software> ; # Software
    schema:about <http://experiment.worldcat.org/entity/work/data/350309606#Topic/intelligence_artificielle_informatique> ; # Intelligence artificielle--Informatique
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/77800006> ; # Richard C. Waters
    schema:contributor <http://viaf.org/viaf/88569013> ; # Charles Rich
    schema:copyrightYear "1986" ;
    schema:datePublished "1986" ;
    schema:description "Deductive synthesis -- Program verification -- Transformational approaches -- Natural language specifications -- Very high level languages -- Programming by example -- Intelligent assistants -- Programming tutors -- Programming knowledge -- Domain knowledge -- Artificial intelligence programming."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/350309606> ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/562932409> ;
    schema:name "Readings in artificial intelligence and software engineering"@en ;
    schema:productID "13904623" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/13904623#PublicationEvent/los_altos_calif_m_kaufmann_publishers_1986> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/350309606#Agent/m_kaufmann_publishers> ; # M. Kaufmann Publishers
    schema:workExample <http://worldcat.org/isbn/9780934613125> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/13904623> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/350309606#Agent/m_kaufmann_publishers> # M. Kaufmann Publishers
    a bgn:Agent ;
    schema:name "M. Kaufmann Publishers" ;
    .

<http://experiment.worldcat.org/entity/work/data/350309606#Place/los_altos_calif> # Los Altos, Calif.
    a schema:Place ;
    schema:name "Los Altos, Calif." ;
    .

<http://experiment.worldcat.org/entity/work/data/350309606#Topic/intelligence_artificielle_informatique> # Intelligence artificielle--Informatique
    a schema:Intangible ;
    schema:name "Intelligence artificielle--Informatique"@fr ;
    .

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

<http://experiment.worldcat.org/entity/work/data/350309606#Topic/kunstmatige_intelligentie> # Kunstmatige intelligentie
    a schema:Intangible ;
    schema:name "Kunstmatige intelligentie"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/350309606#Topic/langages_de_programmation> # Langages de programmation
    a schema:Intangible ;
    schema:name "Langages de programmation"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/350309606#Topic/programmation_informatique> # Programmation (Informatique)
    a schema:Intangible ;
    schema:name "Programmation (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/350309606#Topic/softwareentwicklung> # Softwareentwicklung
    a schema:Intangible ;
    schema:name "Softwareentwicklung"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85008182> # Artificial intelligence--Data processing
    a schema:Intangible ;
    schema:name "Artificial intelligence--Data processing"@en ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering"@en ;
    .

<http://id.worldcat.org/fast/817255> # Artificial intelligence--Data processing
    a schema:Intangible ;
    schema:name "Artificial intelligence--Data processing"@en ;
    .

<http://viaf.org/viaf/77800006> # Richard C. Waters
    a schema:Person ;
    schema:familyName "Waters" ;
    schema:givenName "Richard C." ;
    schema:name "Richard C. Waters" ;
    .

<http://viaf.org/viaf/88569013> # Charles Rich
    a schema:Person ;
    schema:birthDate "1951" ;
    schema:familyName "Rich" ;
    schema:givenName "Charles" ;
    schema:name "Charles Rich" ;
    .

<http://worldcat.org/isbn/9780934613125>
    a schema:ProductModel ;
    schema:isbn "0934613125" ;
    schema:isbn "9780934613125" ;
    .

<http://www.worldcat.org/oclc/562932409>
    a schema:CreativeWork ;
    rdfs:label "Readings in artificial intelligence and software engineering." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/13904623> ; # Readings in artificial intelligence and software engineering
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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