Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 DetailsÜbersicht
  Labelled Clauses

Lev-Ami, T., Weidenbach, C., Reps, T., & Sagiv, M. (2007). Labelled Clauses. In F. Pfenning (Ed.), Automated Deduction - CADE-21: 21st International Conference on Automated Deduction (pp. 311-327). Berlin, Germany: Springer.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-1FA9-C Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-002D-7C59-2
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Lev-Ami, Tal1, Autor
Weidenbach, Christoph2, Autor           
Reps, Thomas1, Autor
Sagiv, Mooly1, Autor
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: 2008-03-252007
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 356453
DOI: 10.1007/978-3-540-73595-3_21
Anderer: Local-ID: C12573CC004A8E26-75B70FE42101172CC12572C1002EC7C3-LevAmiWeidenbachEtAl2007CADE
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: Bremen, Germany
Start-/Enddatum: 2007-04-18 - 2007-04-18

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Automated Deduction - CADE-21 : 21st International Conference on Automated Deduction
Genre der Quelle: Konferenzband
 Urheber:
Pfenning, Frank, Herausgeber
Affiliations:
-
Ort, Verlag, Ausgabe: Berlin, Germany : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 311 - 327 Identifikator: ISBN: 978-3-540-73594-6

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Artificial Intelligence
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: - Identifikator: -