Formalization of the SPECTRUM methodology in DEVA : signature and logical calculus
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
52 Bl.
- Sprache
-
Deutsch
- Erschienen in
-
Forschungsberichte des Fachbereiches Informatik / Technische Universität Berlin ; Bericht [19]93,04
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
- (wann)
-
[1993]
- Urheber
-
Santen, Thomas
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:33 MESZ
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
- Santen, Thomas
- Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
Entstanden
- [1993]
Ähnliche Objekte (12)
Formalization of logical calculi in Isabelle/HOL
A new approach to the logical theory of interrogatives : analysis and formalization
On the logical formalization of analogies and theory blending in the HDTP framework
A formalization of hylomorphism based deforestation with an application to an extended typed λ-calculus [lambda-calculus]
A Formalization of Typed Aspects for the ς-calculus in Isabelle/HOL
Deva: Granitsteinbruch
Deva: Granitsteinbruch
Deva: Ziehbrunnen
Deva: Granitsteinbruch
DEVA-Heim
DEVA-Heim
Deva: Ziehbrunnen
Formalization of logical calculi in Isabelle/HOL
A new approach to the logical theory of interrogatives : analysis and formalization
On the logical formalization of analogies and theory blending in the HDTP framework
A formalization of hylomorphism based deforestation with an application to an extended typed λ-calculus [lambda-calculus]
A Formalization of Typed Aspects for the ς-calculus in Isabelle/HOL
Deva: Granitsteinbruch
Deva: Granitsteinbruch
Deva: Ziehbrunnen
Deva: Granitsteinbruch
DEVA-Heim
DEVA-Heim
Deva: Ziehbrunnen
Formalization of logical calculi in Isabelle/HOL
A new approach to the logical theory of interrogatives : analysis and formalization
On the logical formalization of analogies and theory blending in the HDTP framework
A formalization of hylomorphism based deforestation with an application to an extended typed λ-calculus [lambda-calculus]
A Formalization of Typed Aspects for the ς-calculus in Isabelle/HOL
Deva: Granitsteinbruch
Deva: Granitsteinbruch
Deva: Ziehbrunnen
Deva: Granitsteinbruch
DEVA-Heim
DEVA-Heim