Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 DetailsÜbersicht
  Common Syntax of the DFG-Schwerpunktprogramm ''Deduktion''

Hähnle, R., Kerber, M., & Weidenbach, C.(1996). Common Syntax of the DFG-Schwerpunktprogramm ''Deduktion'' (10/96). Karlsruhe: Universität Karlsruhe.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-001A-1CDF-C Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-001A-1CE1-4
Genre: Bericht
Latex : Common Syntax of the {DFG-Schwerpunktprogramm} ''Deduktion''

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Hähnle, Reiner1, Autor
Kerber, Manfred1, Autor
Weidenbach, Christoph2, 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: 1996
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: Karlsruhe : Universität Karlsruhe
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: Reportnr.: 10/96
BibTex Citekey: HaehnleKerberEtAl96
 Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle

einblenden: