Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  First-Order Theorem Proving: FTP 2009 Workshop Proceedings

Peltier, N., & Sofronie-Stokkermans, V. (Eds.). (2009). First-Order Theorem Proving: FTP 2009 Workshop Proceedings. Oslo, Norway: University of Oslo, Department of Informatics.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-1A59-4 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-BB8C-D
Genre: Konferenzband

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Peltier, Nicolas1, Herausgeber
Sofronie-Stokkermans, Viorica2, Herausgeber           
Affiliations:
1External Organizations, ou_persistent22              
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2009-06-262009
 Publikationsstatus: Erschienen
 Seiten: 151
 Ort, Verlag, Ausgabe: Oslo, Norway : University of Oslo, Department of Informatics
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 521102
ISBN: 82-7368-347-8
Anderer: Local-ID: C125716C0050FB51-22A1FAF7516D91CDC12575E1004CEE6B-ftp09
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: Oslo, Norway
Start-/Enddatum: 1899-12-30

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle

einblenden: