Zum Inhalt springen
Über uns
Beteiligte Institutionen
Projekte
Forschungsdatenmanagement
Forschungsinformationssysteme
Schaufenster
Archivdatenspeicher
3D und AV Digitalisierung
Open-Access-Repositorien
Kulturwandel
Modernes Publizieren
Hamburg Open Science Award 2020
Nutzungsbedingungen
Suchen & Entdecken
Suche
Hilfe zur Suche
Datenbanken
Live-Daten
Dashboard
Karte - Wissenschaft in Hamburg
Beratung
Wissenschaftler/innen
Wissenschaftliche Einrichtungen
Wirtschaftsunternehmen
Ihre Daten im Schaufenster
Service
Fragen & Antworten
Häufige Rechtsfragen bei Open Science
Glossar
Aktuelles
Kontakt
Information in English
Suchen & Entdecken
Suchergebnis
In allen Daten
Autor/in
Titel
Qualifikationsarbeiten einbeziehen
Hilfe zur Suche
Treffer pro Seite
20
50
100
Sortierung
Neue zuerst
Ältere zuerst
Relevanz
1
Aktive Facetten
Technische Universität Hamburg
Mantel, Heiko
Otten, Jens
Facetten
Zugriff
Open Access
Alle Dokumente
Closed / Unbekannt
Einrichtung
Technische Universität Hamburg
Medientyp
Text
1
Karte
Erscheinungsjahr
1999
1
Autor/in
Mantel, Heiko
Otten, Jens
Sprache
Englisch
1
1
Einträge gefunden
linTAP: a tableau prover for linear logic
Mantel, Heiko
Otten, Jens
1999
-
TUHH Open Research
1
Über uns
Beteiligte Institutionen
Projekte
Forschungsdatenmanagement
Forschungsinformationssysteme
Schaufenster
Archivdatenspeicher
3D und AV Digitalisierung
Open-Access-Repositorien
Kulturwandel
Modernes Publizieren
Hamburg Open Science Award 2020
Nutzungsbedingungen
Suchen & Entdecken
Suche
Hilfe zur Suche
Datenbanken
Live-Daten
Dashboard
Karte - Wissenschaft in Hamburg
Beratung
Wissenschaftler/innen
Wissenschaftliche Einrichtungen
Wirtschaftsunternehmen
Ihre Daten im Schaufenster
Service
Fragen & Antworten
Häufige Rechtsfragen bei Open Science
Glossar
Aktuelles
Kontakt
Information in English
Site map
