- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
SEKI Report ; 92,22
- Klassifikation
-
Musik
- Ereignis
-
Veröffentlichung
- (wo)
-
Kaiserslautern
- (wer)
-
Technische Universität Kaiserslautern, Fachbereich Informatik
- (wann)
-
1999
- Beteiligte Personen und Organisationen
-
Huang, Xiaorong
Kerber, Manfred
Kohlhase, Michael
Melis, Erica
Nesmith, Dan
Richts, Jörn
Siekmann, Jörg
- URN
-
urn:nbn:de:hbz:386-kluedo-3114
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:49 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Huang, Xiaorong
- Kerber, Manfred
- Kohlhase, Michael
- Melis, Erica
- Nesmith, Dan
- Richts, Jörn
- Siekmann, Jörg
- Technische Universität Kaiserslautern, Fachbereich Informatik
Entstanden
- 1999
Ähnliche Objekte (12)
Program development by proof transformation
Integrated urban development for climate-proof cities : International Dialogue Forum on Climate-Proof Urban Development
OMEGa | OMEGA
Isabelle, Isar - a versatile environment for human readable formal proof documents
Isabelle, Isar - a versatile environment for human readable formal proof documents
The Burden of Proof in National Treatment Disputes and the Environment
PROOF
proof
Proof
Interactive program and proof development with NurPRL
Poverty, environment and development
Poverty, environment and development
Program development by proof transformation
Integrated urban development for climate-proof cities : International Dialogue Forum on Climate-Proof Urban Development
OMEGa | OMEGA
Isabelle, Isar - a versatile environment for human readable formal proof documents
Isabelle, Isar - a versatile environment for human readable formal proof documents
The Burden of Proof in National Treatment Disputes and the Environment
PROOF
proof
Proof
Interactive program and proof development with NurPRL
Poverty, environment and development
Poverty, environment and development
Program development by proof transformation
Integrated urban development for climate-proof cities : International Dialogue Forum on Climate-Proof Urban Development
OMEGa | OMEGA
Isabelle, Isar - a versatile environment for human readable formal proof documents
Isabelle, Isar - a versatile environment for human readable formal proof documents
The Burden of Proof in National Treatment Disputes and the Environment
PROOF
proof
Proof
Interactive program and proof development with NurPRL
Poverty, environment and development