English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 Local TagsRelease HistoryDetailsSummary
  Automated Deduction: Decidability, Complexity, Tractability

Ghilardi, S., Sattler, U., & Sofronie-Stokkermans, V. (Eds.). (2014). Automated Deduction: Decidability, Complexity, Tractability. Koblenz: Universität Koblenz.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-C8EB-0 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0025-0027-E
Genre: Proceedings
Subtitle : IJCAR'14, 7th International Joint Conference on Automated Reasoning ; Workshop
Abbreviation : ADDCT 2014

Files

show Files

Locators

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

Creators

show
hide
 Creators:
Ghilardi, Silvio1, Editor
Sattler, Ulrike1, Editor
Sofronie-Stokkermans, Viorica2, 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: 58 p.
 Publishing info: Koblenz : Universität Koblenz
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: Sofronie-Stokkermans-addct114
 Degree: -

Event

show
hide
Title: Automated Deduction: Decidability, Complexity, Tractability
Place of Event: Vienna, Austria
Start-/End Date: 2014-07-18 - 2014-07-18

Legal Case

show

Project information

show

Source

show