skip to content
Covid-19 virus
COVID-19 Resources

Reliable information about the coronavirus (COVID-19) is available from the World Health Organization (current situation, international travel). Numerous and frequently-updated resource results are available from this WorldCat.org search. OCLC’s WebJunction has pulled together information and resources to assist library staff as they consider how to handle coronavirus issues in their communities.

Image provided by: CDC/ Alissa Eckert, MS; Dan Higgins, MAM
Journal of automated reasoning Preview this item
ClosePreview this item
Checking...

Journal of automated reasoning

Publisher: Dordrecht [u.a.] Springer Science + Business Media B.V. Dordrecht [u.a.] Kluwer 1985- -2004
Edition/Format:   eJournal/eMagazine : EnglishView all editions and formats
Rating:

(not yet rated) 0 with reviews - Be the first.

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: Druckausg.
Journal of automated reasoning
Dordrecht [u.a.] : Springer, 1985-
(DE-605)HT003453905
Material Type: Internet resource
Document Type: Internet Resource, Computer File, Journal / Magazine / Newspaper
ISSN:1573-0670
OCLC Number: 1068620660
Details: Langzeitarchivierung gewährleistet : durch die Deutsche Nationalbibliothek, LZA

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


\n\n

Primary Entity<\/h3>\n
<http:\/\/www.worldcat.org\/oclc\/1068620660<\/a>> # Journal of automated reasoning<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:CreativeWork<\/a>, schema:MediaObject<\/a>, schema:Periodical<\/a> ;\u00A0\u00A0\u00A0\nlibrary:oclcnum<\/a> \"1068620660<\/span>\" ;\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/id.loc.gov\/vocabulary\/countries\/ne<\/a>> ;\u00A0\u00A0\u00A0\nschema:datePublished<\/a> \"1985\/9999<\/span>\" ;\u00A0\u00A0\u00A0\nschema:exampleOfWork<\/a> <http:\/\/worldcat.org\/entity\/work\/id\/41764399<\/a>> ;\u00A0\u00A0\u00A0\nschema:inLanguage<\/a> \"en<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isSimilarTo<\/a> <http:\/\/worldcat.org\/entity\/work\/data\/41764399#CreativeWork\/journal_of_automated_reasoning<\/a>> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Journal of automated reasoning<\/span>\" ;\u00A0\u00A0\u00A0\nschema:productID<\/a> \"1068620660<\/span>\" ;\u00A0\u00A0\u00A0\nschema:url<\/a> <http:\/\/link.springer.com\/journal\/10817<\/a>> ;\u00A0\u00A0\u00A0\nschema:url<\/a> <http:\/\/www.bibliothek.uni-regensburg.de\/ezeit\/?1479376<\/a>> ;\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/worldcat.org\/issn\/1573-0670<\/a>> ; # Journal of automated reasoning<\/span>\n\u00A0\u00A0\u00A0\numbel:isLike<\/a> <http:\/\/d-nb.info\/019723504<\/a>> ;\u00A0\u00A0\u00A0\nwdrs:describedby<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/1068620660<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Related Entities<\/h3>\n
<http:\/\/id.loc.gov\/vocabulary\/countries\/ne<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\ndcterms:identifier<\/a> \"ne<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/link.springer.com\/journal\/10817<\/a>>\u00A0\u00A0\u00A0\nrdfs:comment<\/a> \"Deutschlandweit zug\u00E4nglich<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/entity\/work\/data\/41764399#CreativeWork\/journal_of_automated_reasoning<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:CreativeWork<\/a> ;\u00A0\u00A0\u00A0\nrdfs:label<\/a> \"Journal of automated reasoning<\/span>\" ;\u00A0\u00A0\u00A0\nschema:description<\/a> \"Druckausg.<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isSimilarTo<\/a> <http:\/\/www.worldcat.org\/oclc\/1068620660<\/a>> ; # Journal of automated reasoning<\/span>\n\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/entity\/work\/id\/41764399<\/a>>\u00A0\u00A0\u00A0\numbel:isLike<\/a> <http:\/\/worldcat.org\/issn\/1573-0670<\/a>> ; # Journal of automated reasoning<\/span>\n\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/issn\/1573-0670<\/a>> # Journal of automated reasoning<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Periodical<\/a> ;\u00A0\u00A0\u00A0\nschema:issn<\/a> \"1573-0670<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Journal of automated reasoning<\/span>\" ;\u00A0\u00A0\u00A0\numbel:isLike<\/a> <http:\/\/worldcat.org\/entity\/work\/id\/41764399<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n