Preface -Special Issue of Selected Extended Papers of IJCAR 2014

Demri, Stéphane; Kapur, Deepak; Weidenbach, Christoph

doi:10.1007/s10817-016-9394-0

Item

ITEM ACTIONSEXPORT

DownloadE-Mail

Please note that a newer version of this item is available:
https://pure.mpg.de/pubman/item/item_2385231_3

DetailsSummary

Preface -Special Issue of Selected Extended Papers of IJCAR 2014

Demri, S., Kapur, D., & Weidenbach, C. (2017). Preface -Special Issue of Selected Extended Papers of IJCAR 2014. Journal of Automated Reasoning, 58(1), 1-2. doi:10.1007/s10817-016-9394-0.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-002C-4CD1-C Version Permalink: https://hdl.handle.net/11858/00-001M-0000-002C-6975-3

Genre: Journal Article

Latex : Preface -- Special Issue of Selected Extended Papers of {IJCAR} 2014

Files

show Files

Locators

show

Creators

show

hide

Creators:
Demri, Stéphane¹, Author
Kapur, Deepak¹, Author
Weidenbach, Christoph², Author

Affiliations:
1External Organizations, ou_persistent22
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2016Date issued: 2017

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: DBLP:journals/jar/DemriKW17
DOI: 10.1007/s10817-016-9394-0

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: Journal of Automated Reasoning

Source Genre: Journal

Creator(s):

Affiliations:

Publ. Info: Dordrecht, Holland : D. Reidel Pub. Co.

Pages: - Volume / Issue: 58 (1) Sequence Number: - Start / End Page: 1 - 2 Identifier: ISSN: 0168-7433
CoNE: https://pure.mpg.de/cone/journals/resource/954926965948