English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
 Local TagsRelease HistoryDetailsSummary
  Automated Deduction: Decidability, Complexity, Tractability

Ghilardi, S., Sattler, U., Sofronie-Stokkermans, V., & Tiwari, A. (Eds.). (2013). Automated Deduction: Decidability, Complexity, Tractability.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-C8B9-F Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-C8BA-D
Genre: Proceedings
Subtitle : CADE-24, 24th International Conference on Automated Deduction ; Lake Placid, New York, 9-14 June, 2013 ; Workshop Program
Abbreviation : ADDCT 2013

Files

show Files

Locators

show
hide
Locator:
http://userpages.uni-koblenz.de/~sofronie/addct-2013/proceedings-addct-2013.pdf (Any fulltext)
Description:
-
OA-Status:

Creators

show
hide
 Creators:
Ghilardi, Silvio1, Editor
Sattler, Ulrike1, Editor
Sofronie-Stokkermans, Viorica2, Editor           
Tiwari, Ashish1, 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: 20132013
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: Sofronie-Stokkermans-addct13
 Degree: -

Event

show
hide
Title: Automated Deduction: Decidability, Complexity, Tractability
Place of Event: Lake Placid, NY, USA
Start-/End Date: 2013-06-10 - 2013-06-10

Legal Case

show

Project information

show

Source

show