Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

 
 
DownloadE-Mail
  Deduction

Furbach, U., Ganzinger, H., Hasegawa, R., & Kapur, D. (Eds.). (2000). Deduction. Wadern, Germany: IBFI.

Item is

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Furbach, Ulrich, Herausgeber
Ganzinger, Harald1, Herausgeber           
Hasegawa, Ryuzo, Herausgeber
Kapur, Deepak1, Herausgeber           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2010-03-122000
 Publikationsstatus: Erschienen
 Seiten: 24
 Ort, Verlag, Ausgabe: Wadern, Germany : IBFI
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 519775
ISSN: 0940-1121
Anderer: Local-ID: C1256104005ECAFC-32CB6BDB1284186CC12569F2004C0200-Ganzinger-et-al-01-Dagstuhl
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: Wadern/Dagstuhl, Germany
Start-/Enddatum: 1999-02-28 - 1999-03-05

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle

einblenden: