跳到内容
Foundations of logic programming 预览资料
关闭预览资料
正在查...

Foundations of logic programming

著者: J W Lloyd
出版商: Berlin ; New York : Springer-Verlag, 1984.
丛书: Symbolic computation., Artificial intelligence.
版本/格式:   Print book : 英语查看所有的版本和格式
数据库:WorldCat
评估:

(尚未评估) 0 附有评论 - 争取成为第一个。

主题
更多类似这样的

 

在线查找

与资料的链接

在图书馆查找

&AllPage.SpinnerRetrieving; 正在查找有这资料的图书馆...

详细书目

类型/形式: Einführung
附加的形体格式: Online version:
Lloyd, J.W. (John Wylie), 1947-
Foundations of logic programming.
Berlin ; New York : Springer-Verlag, 1984
(OCoLC)557989546
材料类型: 互联网资源
文件类型: 书, 互联网资源
所有的著者/提供者: J W Lloyd
ISBN: 0387132996 9780387132990 3540132996 9783540132998
OCLC号码: 11186391
描述: x, 124 pages ; 25 cm.
丛书名: Symbolic computation., Artificial intelligence.
责任: J.W. Lloyd.

评论

用户提供的评论
正在获取GoodReads评论...
正在检索DOGObooks的评论

标签

所有的用户标签 (2)

查看最热门的标签,展示的形式是: 标签列表 | 标签云(tag cloud)

  • ai  (由 1 个人)
  • jds  (由 1 个人)
确认申请

你可能已经申请过这份资料。如果还是想申请,请选确认。

链接数据


Primary Entity

<http://www.worldcat.org/oclc/11186391> # Foundations of logic programming
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "11186391" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4124828#Place/berlin> ; # Berlin
   schema:about <http://experiment.worldcat.org/entity/work/data/4124828#Topic/logische_programmierung> ; # Logische Programmierung
   schema:about <http://id.worldcat.org/fast/1078716> ; # Programming languages (Electronic computers)--Semantics
   schema:about <http://experiment.worldcat.org/entity/work/data/4124828#Topic/einfuhrung> ; # Einführung
   schema:about <http://experiment.worldcat.org/entity/work/data/4124828#Topic/prolog> ; # PROLOG
   schema:about <http://dewey.info/class/001.642/e19/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/4124828#Topic/semantique_langage> ; # sémantique langage
   schema:about <http://experiment.worldcat.org/entity/work/data/4124828#Topic/programmation_en_logique> ; # programmation en logique
   schema:about <http://experiment.worldcat.org/entity/work/data/4124828#Topic/logisch_programmeren> ; # Logisch programmeren
   schema:about <http://experiment.worldcat.org/entity/work/data/4124828#Topic/programmation_logique> ; # Programmation logique
   schema:about <http://id.loc.gov/authorities/subjects/sh85107316> ; # Programming languages (Electronic computers)--Semantics
   schema:about <http://id.worldcat.org/fast/1002056> ; # Logic programming
   schema:about <http://experiment.worldcat.org/entity/work/data/4124828#Topic/langages_de_programmation_semantique> ; # Langages de programmation--Sémantique
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/92670620> ; # John Wylie Lloyd
   schema:datePublished "1984" ;
   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:isSimilarTo <http://www.worldcat.org/oclc/557989546> ;
   schema:name "Foundations of logic programming"@en ;
   schema:productID "11186391" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/11186391#PublicationEvent/berlin_new_york_springer_verlag_1984> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/4124828#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://www3.ub.tu-berlin.de/ihv/000283371.pdf> ;
   schema:workExample <http://worldcat.org/isbn/9783540132998> ;
   schema:workExample <http://worldcat.org/isbn/9780387132990> ;
   umbel:isLike <http://d-nb.info/850141168> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/11186391> ;
    .


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/11186391> ; # 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/11186391> ; # Foundations of logic programming
   schema:name "Symbolic computation. Artificial intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/4124828#Topic/langages_de_programmation_semantique> # Langages de programmation--Sémantique
    a schema:Intangible ;
   schema:name "Langages de programmation--Sémantique"@en ;
   schema:name "Langages de programmation--Sémantique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/4124828#Topic/logisch_programmeren> # Logisch programmeren
    a schema:Intangible ;
   schema:name "Logisch programmeren"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/4124828#Topic/programmation_en_logique> # programmation en logique
    a schema:Intangible ;
   schema:name "programmation en logique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4124828#Topic/programmation_logique> # Programmation logique
    a schema:Intangible ;
   schema:name "Programmation logique"@en ;
   schema:name "Programmation logique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/4124828#Topic/semantique_langage> # sémantique langage
    a schema:Intangible ;
   schema:name "sémantique langage"@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/9780387132990>
    a schema:ProductModel ;
   schema:isbn "0387132996" ;
   schema:isbn "9780387132990" ;
    .

<http://worldcat.org/isbn/9783540132998>
    a schema:ProductModel ;
   schema:isbn "3540132996" ;
   schema:isbn "9783540132998" ;
    .

<http://www.worldcat.org/oclc/557989546>
    a schema:CreativeWork ;
   rdfs:label "Foundations of logic programming." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/11186391> ; # Foundations of logic programming
    .


Content-negotiable representations

关闭窗口

请登入WorldCat 

没有张号吗?很容易就可以 建立免费的账号.