skip to content
Journal of automated reasoning. Preview this item
ClosePreview this item
Checking...

Journal of automated reasoning.

Publisher: Dordrecht, Holland ; Boston : D. Reidel Pub. Co., ©1985-
Edition/Format:   Journal, magazine : Periodical : EnglishView all editions and formats
Database:WorldCat
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

Genre/Form: Periodicals
Périodiques
Additional Physical Format: Journal of automated reasoning (Online)
(DLC) 2004229180
(OCoLC)38266687
Online version:
Journal of automated reasoning
(OCoLC)557423575
Material Type: Periodical, Internet resource
Document Type: Journal / Magazine / Newspaper, Internet Resource
ISSN:0168-7433
OCLC Number: 11936798
Notes: Title from cover.
Description: v. : ill. ; 24 cm.
Other Titles: Journal of automated reasoning

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/11936798> # Journal of automated reasoning.
    a schema:CreativeWork, schema:Periodical ;
    library:oclcnum "11936798" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/41764399#Place/dordrecht_holland> ; # Dordrecht, Holland
    library:placeOfPublication <http://dbpedia.org/resource/Boston> ; # Boston
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/41764399#Topic/programmation_logique_periodiques> ; # Programmation logique--Périodiques
    schema:about <http://experiment.worldcat.org/entity/work/data/41764399#Topic/intelligence_artificielle_periodiques> ; # Intelligence artificielle--Périodiques
    schema:about <http://experiment.worldcat.org/entity/work/data/41764399#Topic/probleemoplossing> ; # Probleemoplossing
    schema:about <http://id.loc.gov/authorities/subjects/sh85010111> ; # Automatic theorem proving
    schema:about <http://experiment.worldcat.org/entity/work/data/41764399#Topic/theoremes_demonstration_automatique> ; # Théorèmes--Démonstration automatique
    schema:about <http://experiment.worldcat.org/entity/work/data/41764399#Topic/computers> ; # Computers
    schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/41764399#Topic/logica> ; # Logica
    schema:about <http://experiment.worldcat.org/entity/work/data/41764399#Topic/artificial_intelligence> ; # Artificial intelligence
    schema:about <http://id.worldcat.org/fast/822777> ; # Automatic theorem proving
    schema:copyrightYear "1985" ;
    schema:datePublished "1985/9999" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/41764399> ;
    schema:genre "Periodicals"@en ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/38266687> ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/557423575> ;
    schema:name "Journal of automated reasoning."@en ;
    schema:productID "11936798" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/11936798#PublicationEvent/dordrecht_holland_boston_d_reidel_pub_co_c1985> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/41764399#Agent/d_reidel_pub_co> ; # D. Reidel Pub. Co.
    schema:url <http://firstsearch.oclc.org/journal=0168-7433;screen=info;ECOIP> ;
    schema:url <http://www.wkap.nl/journalhome.htm/0168-7433> ;
    schema:url <http://firstsearch.oclc.org> ;
    schema:workExample <http://worldcat.org/issn/0168-7433> ; # Journal of automated reasoning.
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/11936798> ;
    .


Related Entities

<http://dbpedia.org/resource/Boston> # Boston
    a schema:Place ;
    schema:name "Boston" ;
    .

<http://experiment.worldcat.org/entity/work/data/41764399#Agent/d_reidel_pub_co> # D. Reidel Pub. Co.
    a bgn:Agent ;
    schema:name "D. Reidel Pub. Co." ;
    .

<http://experiment.worldcat.org/entity/work/data/41764399#Place/dordrecht_holland> # Dordrecht, Holland
    a schema:Place ;
    schema:name "Dordrecht, Holland" ;
    .

<http://experiment.worldcat.org/entity/work/data/41764399#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/41764399#Topic/probleemoplossing> # Probleemoplossing
    a schema:Intangible ;
    schema:name "Probleemoplossing"@en ;
    .

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

<http://firstsearch.oclc.org>
    rdfs:comment "Address for accessing the journal using authorization number and password through OCLC FirstSearch Electronic Collections Online. Subscription to online journal required for access to abstracts and full text" ;
    .

<http://firstsearch.oclc.org/journal=0168-7433;screen=info;ECOIP>
    rdfs:comment "Address for accessing the journal from an authorized IP address through OCLC FirstSearch Electronic Collections Online. Subscription to online journal required for access to abstracts and full text" ;
    .

<http://id.loc.gov/authorities/subjects/sh85010111> # Automatic theorem proving
    a schema:Intangible ;
    schema:name "Automatic theorem proving"@en ;
    .

<http://id.worldcat.org/fast/817247> # Artificial intelligence
    a schema:Intangible ;
    schema:name "Artificial intelligence"@en ;
    .

<http://id.worldcat.org/fast/822777> # Automatic theorem proving
    a schema:Intangible ;
    schema:name "Automatic theorem proving"@en ;
    .

<http://worldcat.org/issn/0168-7433> # Journal of automated reasoning.
    a schema:Periodical ;
    schema:issn "0168-7433" ;
    schema:name "Journal of automated reasoning."@en ;
    umbel:isLike <http://worldcat.org/entity/work/id/41764399> ;
    .

<http://www.worldcat.org/oclc/38266687>
    a schema:CreativeWork ;
    rdfs:label "Journal of automated reasoning (Online)" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/11936798> ; # Journal of automated reasoning.
    .

<http://www.worldcat.org/oclc/557423575>
    a schema:CreativeWork ;
    rdfs:label "Journal of automated reasoning" ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/11936798> ; # Journal of automated reasoning.
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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