Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

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

Peltier, N., & Sofronie-Stokkermans, V. (Eds.). (2010). FTP 2009 First-Order Theorem Proving. Aachen: CEUR- WS.org. Retrieved from http://CEUR-WS.org/Vol-556/.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-14B0-0 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-B4A1-F
Genre: Konferenzband
Untertitel : Proceedings of the 7th International Workshop on First-Order Theorem Proving (FTP'09)

Externe Referenzen

einblenden:
ausblenden:
externe Referenz:
http://CEUR-WS.org/Vol-556/ (beliebiger Volltext)
Beschreibung:
-
OA-Status:

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: 2011-02-072010
 Publikationsstatus: Online veröffentlicht
 Seiten: 139 p.
 Ort, Verlag, Ausgabe: Aachen : CEUR- WS.org
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 536335
URI: http://CEUR-WS.org/Vol-556/
Anderer: Local-ID: C125716C0050FB51-0FB81A4A18F81FA3C12576EA00497A0F-Sofronie-Stokkermans-ceur2010
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: 7th International Workshop on First-Order Theorem Proving
Veranstaltungsort: Oslo, Norway
Start-/Enddatum: 2009-07-06 - 2009-07-07

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: CEUR Workshop Proceedings
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 556 Artikelnummer: - Start- / Endseite: - Identifikator: ISSN: 1613-0073