Logical theory of program construction : 07.03. - 11.03.94

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Maße
21 cm
Umfang
48 S.
Sprache
Deutsch
Anmerkungen
Ill.

Erschienen in
Dagstuhl-Seminar-Report ; 84

Ereignis
Veröffentlichung
(wo)
Saarbrücken
(wer)
Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes
(wann)
1994
Beteiligte Personen und Organisationen

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 14:24 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

Entstanden

  • 1994

Ähnliche Objekte (12)

Logical number theory, 1

Logical number theory, 1

Logical approach to systems theory

Logical approach to systems theory

Algorithmic logical theory of infinite structures

Algorithmic logical theory of infinite structures

Logical interaction networks in biology : theory and application

Hochschulschrift

Logical interaction networks in biology : theory and application

The logical positivists' theory of verification and truth

Archivale

The logical positivists' theory of verification and truth

0703

Urkunden

0703

A logical theory of nonmonotonic inference and belief change

A logical theory of nonmonotonic inference and belief change

Interactive program construction with incomplete statements

Interactive program construction with incomplete statements

Logical Propaedeutic

Akten

Logical Propaedeutic

Quartalsberichte (0.70.3)

Gliederung

Quartalsberichte (0.70.3)

07.03. Verbandsaufnahmen

Gliederung

07.03. Verbandsaufnahmen

07.03. Verbandsaufnahmen

Gliederung

07.03. Verbandsaufnahmen

Verbundene Objekte