English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 Local TagsRelease HistoryDetailsSummary
  IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability

Ahrendt, W., Baumgartner, P., & de Nivelle, H. (Eds.). (2006). IJCAR'06 Workshop: Disproving'06: Non-Theorems, Non-Validity, Non-Provability. Seattle, USA: The 2006 Federated Logic Conference.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-231E-1 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-231F-0
Genre: Proceedings

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Ahrendt, Wolfgang, Editor
Baumgartner, Peter1, Editor           
de Nivelle, Hans1, Editor           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show
hide
Free keywords: -
 Abstract: The volume contains 9 contributed papers.

Details

show
hide
Language(s): eng - English
 Dates: 2007-03-072006
 Publication Status: Issued
 Pages: -
 Publishing info: Seattle, USA : The 2006 Federated Logic Conference
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 314376
Other: Local-ID: C1256104005ECAFC-B91B31A7FC46DE53C12571F4003DCF6E-deNivelle2006a
 Degree: -

Event

show
hide
Title: Untitled Event
Place of Event: Seattle, USA
Start-/End Date: 2006-08-16

Legal Case

show

Project information

show

Source

show