skip to content
Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz Preview this item
ClosePreview this item
Checking...

Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz

Author: Clemens Beckstein
Publisher: Berlin ; New York : Springer, ©1988.
Series: Informatik-Fachberichte, 199.; Subreihe Künstliche Intelligenz.
Edition/Format:   Print book : GermanView all editions and formats
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

Additional Physical Format: Online version:
Beckstein, Clemens.
Zur Logik der Logik-Programmierung.
Berlin ; New York : Springer, ©1988
(OCoLC)609780118
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Clemens Beckstein
ISBN: 0387507205 9780387507200 3540507205 9783540507208
OCLC Number: 20371329
Notes: "Dissertation"--Title page verso.
Description: ix, 246 pages ; 25 cm.
Contents: Inhaltsubersicht: Einleitung.- Logische Grundbegriffe.- Die deklarativ/prozedural-Kontroverse.- Logik-Programmierung.- Die Grenzen der Ausdruckskraft.- Reason-Maintenance-Systeme.- Ein vereinheitlichender Ansatz: RISC.- Zusammenfassung und Ausblick.- Literaturverzeichnis.- Index.
Series Title: Informatik-Fachberichte, 199.; Subreihe Künstliche Intelligenz.
Responsibility: Clemens Beckstein.

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/20371329> # Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "20371329" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/866260676#Place/berlin> ; # Berlin
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://dewey.info/class/005.1/e20/> ;
   schema:about <http://id.worldcat.org/fast/1002056> ; # Logic programming
   schema:about <http://experiment.worldcat.org/entity/work/data/866260676#Topic/risc> ; # RISC
   schema:about <http://experiment.worldcat.org/entity/work/data/866260676#Topic/logische_programmierung> ; # Logische Programmierung
   schema:about <http://experiment.worldcat.org/entity/work/data/866260676#Topic/logik> ; # Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/866260676#Topic/programmierung> ; # Programmierung
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "1988" ;
   schema:creator <http://viaf.org/viaf/20325935> ; # Clemens Beckstein
   schema:datePublished "1988" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/866260676> ;
   schema:inLanguage "de" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/866260676#Series/subreihe_kunstliche_intelligenz> ; # Subreihe Künstliche Intelligenz.
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/866260676#Series/informatik_fachberichte_subreihe_kunstliche_intelligenz> ; # Informatik-Fachberichte ; Subreihe Künstliche Intelligenz
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/866260676#Series/informatik_fachberichte> ; # Informatik-Fachberichte ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/609780118> ;
   schema:name "Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz" ;
   schema:productID "20371329" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/20371329#PublicationEvent/berlin_new_york_springer_1988> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/866260676#Agent/springer> ; # Springer
   schema:url <http://www.gbv.de/dms/hebis-darmstadt/toc/8758115.pdf> ;
   schema:workExample <http://worldcat.org/isbn/9780387507200> ;
   schema:workExample <http://worldcat.org/isbn/9783540507208> ;
   umbel:isLike <http://d-nb.info/890076995> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/20371329> ;
    .


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/866260676#Series/informatik_fachberichte> # Informatik-Fachberichte ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/20371329> ; # Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz
   schema:name "Informatik-Fachberichte ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/866260676#Series/informatik_fachberichte_subreihe_kunstliche_intelligenz> # Informatik-Fachberichte ; Subreihe Künstliche Intelligenz
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/20371329> ; # Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz
   schema:name "Informatik-Fachberichte ; Subreihe Künstliche Intelligenz" ;
    .

<http://experiment.worldcat.org/entity/work/data/866260676#Series/subreihe_kunstliche_intelligenz> # Subreihe Künstliche Intelligenz.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/20371329> ; # Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz
   schema:name "Subreihe Künstliche Intelligenz." ;
    .

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

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

<http://viaf.org/viaf/20325935> # Clemens Beckstein
    a schema:Person ;
   schema:familyName "Beckstein" ;
   schema:givenName "Clemens" ;
   schema:name "Clemens Beckstein" ;
    .

<http://worldcat.org/isbn/9780387507200>
    a schema:ProductModel ;
   schema:isbn "0387507205" ;
   schema:isbn "9780387507200" ;
    .

<http://worldcat.org/isbn/9783540507208>
    a schema:ProductModel ;
   schema:isbn "3540507205" ;
   schema:isbn "9783540507208" ;
    .

<http://www.worldcat.org/oclc/609780118>
    a schema:CreativeWork ;
   rdfs:label "Zur Logik der Logik-Programmierung." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/20371329> ; # Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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