English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 DetailsSummary
  Automated Reasoning

Demri, S., Kapur, D., & Weidenbach, C. (Eds.). (2014). Automated Reasoning. Berlin: Springer. doi:10.1007/978-3-319-08587-6.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-535D-2 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-002D-59E8-1
Genre: Proceedings
Subtitle : 7th International Joint Conference, IJCAR 2014 Held as Part of the Vienna Summer of Logic, VSL 2014 ; Vienna, Austria, July 19-22, 2014 ; Proceedings
Abbreviation : IJCAR 2014

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Demri, Stéphane1, Editor           
Kapur, Deepak1, Editor           
Weidenbach, Christoph2, Editor           
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: 20142014
 Publication Status: Issued
 Pages: XV, 528 p.
 Publishing info: Berlin : Springer
 Table of Contents: -
 Rev. Type: -
 Identifiers: ISBN: 978-3-319-08586-9
BibTex Citekey: IJCAR2014Weidenbach
DOI: 10.1007/978-3-319-08587-6
 Degree: -

Event

show
hide
Title: 7th International Joint Conference on Automated Reasoning
Place of Event: Vienna, Austria
Start-/End Date: 2014-07-19 - 2014-07-22

Legal Case

show

Project information

show

Source 1

show
hide
Title: Lecture Notes in Artificial Intelligence
  Abbreviation : LNAI
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 8562 Sequence Number: - Start / End Page: - Identifier: -