aller au contenu
Foundations of logic programming Aperçu de cet ouvrage
FermerAperçu de cet ouvrage
Vérification...

Foundations of logic programming

Auteur : J W Lloyd
Éditeur : Berlin ; New York : Springer-Verlag, 1984.
Collection : Symbolic computation., Artificial intelligence.
Édition/format :   Livre imprimé : EnglishVoir toutes les éditions et tous les formats
Base de données :WorldCat
Évaluation :

(pas encore évalué) 0 avec des critiques - Soyez le premier.

Sujets
Plus comme ceci

 

Trouver un exemplaire en ligne

Liens vers cet ouvrage

Trouver un exemplaire dans la bibliothèque

&AllPage.SpinnerRetrieving; Recherche de bibliothèques qui possèdent cet ouvrage...

Détails

Genre/forme : Einführung
Format – détails additionnels : Online version:
Lloyd, J.W. (John Wylie), 1947-
Foundations of logic programming.
Berlin ; New York : Springer-Verlag, 1984
(OCoLC)557989546
Type d’ouvrage : Ressource Internet
Format : Book, Internet Resource
Tous les auteurs / collaborateurs : J W Lloyd
ISBN : 0387132996 9780387132990 3540132996 9783540132998
Numéro OCLC : 11186391
Description : x, 124 pages ; 25 cm.
Titre de collection : Symbolic computation., Artificial intelligence.
Responsabilité : J.W. Lloyd.

Critiques

Critiques d’utilisateurs
Récupération des critiques de GoodReads...
Récuperation des critiques DOGObooks…

Étiquettes

Tous les tags des utilisateurs (2)

Voir les tags les plus utilisés sous forme de : liste de tags | nuage de tags

  • ai  (de 1 personne)
  • jds  (de 1 personne)
Confirmez cette demande

Vous avez peut-être déjà demandé cet ouvrage. Veuillez sélectionner OK si vous voulez poursuivre avec cette demande quand même.

Données liées


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://experiment.worldcat.org/entity/work/data/4124828#Person/lloyd_j_w_john_wylie_1947> ; # 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#Person/lloyd_j_w_john_wylie_1947> # 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://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://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

Fermer la fenêtre

Veuillez vous identifier dans WorldCat 

Dont have an account? You can easily créez un compte gratuit.