aller au contenu
Journal of automated reasoning (Online). Aperçu de cet ouvrage
FermerAperçu de cet ouvrage
Vérification...

Journal of automated reasoning (Online).

Auteur : Kluwer Online.
Éditeur: Dordrecht : D. Reidel, 1997-
Édition/format:   Périodique, revue : Anglais
É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: Ressources Internet
Périodiques
Type d’ouvrage: Ressource Internet
Type de document: Périodique / revue / journal, Ressource Internet
Tous les auteurs / collaborateurs: Kluwer Online.
ISSN:0168-7433
Numéro OCLC: 907061930
Notes: Six fois par année (en 2 v.), 1997-1998 ; 8 fois par année (en 2 v.), 1999-
Mode d'accès: Web.
Titre de l'écran-titre (visionné le 7 févr. 2002).
Accès réservé aux membres de la communauté universitaire.
0168-7433 = ISSN de l'édition papier.
Autres titres: Journal of automated reasoning (En ligne)
Journal of automated reasoning
Journal of automated reasoning [ressource électronique]

Critiques

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

Marqueurs

Soyez le premier.
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/907061930> # Journal of automated reasoning (Online).
    a schema:CreativeWork, schema:Periodical ;
   library:oclcnum "907061930" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3138040781#Place/dordrecht> ; # Dordrecht
   schema:about <http://experiment.worldcat.org/entity/work/data/3138040781#Thing/artificiel> ; # Artificiel
   schema:about <http://experiment.worldcat.org/entity/work/data/3138040781#Topic/theoremes_demonstration_automatique> ; # Théorèmes--Démonstration automatique
   schema:about <http://experiment.worldcat.org/entity/work/data/3138040781#Topic/programmation_logique_periodiques> ; # Programmation logique--Périodiques
   schema:about <http://experiment.worldcat.org/entity/work/data/3138040781#Thing/kluwer> ; # Kluwer
   schema:about <http://experiment.worldcat.org/entity/work/data/3138040781#Topic/intelligence_artificielle_periodiques> ; # Intelligence artificielle--Périodiques
   schema:alternateName "Journal of automated reasoning [ressource électronique]" ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/3138040781#Organization/kluwer_online> ; # Kluwer Online.
   schema:datePublished "1997/" ;
   schema:datePublished "1997/9999" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/3138040781> ; # Journal of automated reasoning (En ligne)
   schema:genre "Ressources Internet"@fr ;
   schema:inLanguage "en" ;
   schema:name "Journal of automated reasoning (Online)." ;
   schema:productID "907061930" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/907061930#PublicationEvent/dordrecht_d_reidel_1997> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/3138040781#Agent/d_reidel> ; # D. Reidel
   schema:url <http://www.kluweronline.com/issn/0168-7433/contents> ;
   schema:workExample <http://worldcat.org/issn/0168-7433> ; # Journal of automated reasoning (Online).
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/907061930> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/3138040781#Topic/intelligence_artificielle_periodiques> # Intelligence artificielle--Périodiques
    a schema:Intangible ;
   schema:name "Intelligence artificielle--Périodiques"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/3138040781#Topic/programmation_logique_periodiques> # Programmation logique--Périodiques
    a schema:Intangible ;
   schema:name "Programmation logique--Périodiques"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/3138040781#Topic/theoremes_demonstration_automatique> # Théorèmes--Démonstration automatique
    a schema:Intangible ;
   schema:name "Théorèmes--Démonstration automatique"@fr ;
    .

<http://worldcat.org/entity/work/id/3138040781> # Journal of automated reasoning (En ligne)
   schema:name "Journal of automated reasoning (En ligne)" ;
   umbel:isLike <http://worldcat.org/issn/0168-7433> ; # Journal of automated reasoning (Online).
    .

<http://worldcat.org/issn/0168-7433> # Journal of automated reasoning (Online).
    a schema:Periodical ;
   schema:issn "0168-7433" ;
   schema:name "Journal of automated reasoning (Online)." ;
   umbel:isLike <http://worldcat.org/entity/work/id/3138040781> ; # Journal of automated reasoning (En ligne)
    .


Content-negotiable representations

Fermer la fenêtre

Veuillez vous identifier dans WorldCat 

Vous n’avez pas de compte? Vous pouvez facilement créer un compte gratuit.