Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 DetailsÜbersicht
  Rechnen in sortierter Prädikatenlogik

Weidenbach, C. (1998). Rechnen in sortierter Prädikatenlogik. In H. Fiedler, P. Gorny, W. Grass, S. Hölldobler, G. Hotz, I. O. Kerner, et al. (Eds.), Ausgezeichnete Informatikdissertationen 1997 (pp. 183-197). Stuttgart, Germany: Teubner.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3876-0 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3877-E
Genre: Buchkapitel

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Weidenbach, Christoph1, 2, Autor           
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              
2Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): deu - German
 Datum: 2010-03-121998
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: Stuttgart, Germany : Teubner
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 519879
Anderer: Local-ID: C1256104005ECAFC-85EF4912EEEF0148412566FD005E7305-Weidenbach98teubner
 Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Ausgezeichnete Informatikdissertationen 1997
Genre der Quelle: Buch
 Urheber:
Fiedler, Herbert, Herausgeber
Gorny, Peter, Herausgeber
Grass, Werner, Herausgeber
Hölldobler, Steffen, Herausgeber
Hotz, Günter, Herausgeber
Kerner, I. O., Herausgeber
Reischuk, Rüdiger, Herausgeber
Affiliations:
-
Ort, Verlag, Ausgabe: Stuttgart, Germany : Teubner
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 183 - 197 Identifikator: -