Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  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

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-231E-1 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-231F-0
Genre: Konferenzband

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Ahrendt, Wolfgang, Herausgeber
Baumgartner, Peter1, Herausgeber           
de Nivelle, Hans1, Herausgeber           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: The volume contains 9 contributed papers.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2007-03-072006
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: Seattle, USA : The 2006 Federated Logic Conference
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 314376
Anderer: Local-ID: C1256104005ECAFC-B91B31A7FC46DE53C12571F4003DCF6E-deNivelle2006a
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: Seattle, USA
Start-/Enddatum: 2006-08-16

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle

einblenden: