skip to content
Foundations of logic programming Preview this item
ClosePreview this item
Checking...

Foundations of logic programming

Author: J W Lloyd
Publisher: Berlin ; New York : Springer-Verlag, [1993]
Series: Symbolic computation., Artificial intelligence.
Edition/Format:   Print book : English : 2nd extended edView all editions and formats
Summary:

This is a revised edition of an introductory account of the mathematical foundations of logic programming. In addition to presenting the technical results, the text contains many illustrative  Read more...

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

Genre/Form: Einführung
Document Type: Book
All Authors / Contributors: J W Lloyd
ISBN: 3540181997 9783540181996 0387181997 9780387181998
OCLC Number: 27831045
Notes: "First corrected printing 1993"--Title page verso.
Description: xii, 212 pages : illustrations ; 25 cm.
Series Title: Symbolic computation., Artificial intelligence.
Responsibility: J.W. Lloyd.

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/27831045> # Foundations of logic programming
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "27831045" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4124828#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/4124828#Topic/logische_programmierung> ; # Logische Programmierung
   schema:about <http://experiment.worldcat.org/entity/work/data/4124828#Topic/einfuhrung> ; # Einführung
   schema:about <http://dewey.info/class/006.3/> ;
   schema:about <http://id.worldcat.org/fast/1002056> ; # Logic programming
   schema:about <http://id.worldcat.org/fast/1078716> ; # Programming languages (Electronic computers)--Semantics
   schema:about <http://id.loc.gov/authorities/subjects/sh85107316> ; # Programming languages (Electronic computers)--Semantics
   schema:bookEdition "2nd extended ed." ;
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/92670620> ; # John Wylie Lloyd
   schema:datePublished "1993" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/4124828> ;
   schema:genre "Einführung"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4124828#Series/symbolic_computation> ; # Symbolic computation.
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4124828#Series/symbolic_computation_artificial_intelligence> ; # Symbolic computation. Artificial intelligence
   schema:name "Foundations of logic programming"@en ;
   schema:productID "27831045" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/27831045#PublicationEvent/berlin_new_york_springer_verlag_1993> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/4124828#Agent/springer_verlag> ; # Springer-Verlag
   schema:workExample <http://worldcat.org/isbn/9780387181998> ;
   schema:workExample <http://worldcat.org/isbn/9783540181996> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/27831045> ;
    .


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/4124828#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/4124828#Series/symbolic_computation> # Symbolic computation.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/27831045> ; # Foundations of logic programming
   schema:name "Symbolic computation." ;
    .

<http://experiment.worldcat.org/entity/work/data/4124828#Series/symbolic_computation_artificial_intelligence> # Symbolic computation. Artificial intelligence
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/27831045> ; # Foundations of logic programming
   schema:name "Symbolic computation. Artificial intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/4124828#Topic/logische_programmierung> # Logische Programmierung
    a schema:Intangible ;
   schema:name "Logische Programmierung"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85107316> # Programming languages (Electronic computers)--Semantics
    a schema:Intangible ;
   schema:name "Programming languages (Electronic computers)--Semantics"@en ;
    .

<http://id.worldcat.org/fast/1002056> # Logic programming
    a schema:Intangible ;
   schema:name "Logic programming"@en ;
    .

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

<http://viaf.org/viaf/92670620> # John Wylie Lloyd
    a schema:Person ;
   schema:birthDate "1947" ;
   schema:familyName "Lloyd" ;
   schema:givenName "John Wylie" ;
   schema:givenName "J. W." ;
   schema:name "John Wylie Lloyd" ;
    .

<http://worldcat.org/isbn/9780387181998>
    a schema:ProductModel ;
   schema:isbn "0387181997" ;
   schema:isbn "9780387181998" ;
    .

<http://worldcat.org/isbn/9783540181996>
    a schema:ProductModel ;
   schema:isbn "3540181997" ;
   schema:isbn "9783540181996" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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