Konferenzschrift | Kongress

Temporal logic : first international conference ; proceedings

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783540582410
354058241X
9780387582412
038758241X
Maße
24 cm
Umfang
XI, 545 S.
Sprache
Deutsch
Anmerkungen
graph. Darst.
Literaturangaben

Schlagwort
Temporale Logik

Ereignis
Veröffentlichung
(wo)
Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, Barcelona, Budapest
(wer)
Springer
(wann)
1994
Beteiligte Personen und Organisationen
Gabbay, Dov M.
ICTL (1 : 1994 : Bonn)

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:48 MESZ

Datenpartner

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

Objekttyp

  • Konferenzschrift
  • Kongress

Beteiligte

Entstanden

  • 1994

Ähnliche Objekte (12)

Computational logic : first international conference ; proceedings

Konferenzschrift | Kongress

Computational logic : first international conference ; proceedings

Temporal logic : proceedings of the ICTL workshop

Konferenzschrift

Temporal logic : proceedings of the ICTL workshop

Temporal Logic

Temporal Logic

Markov temporal logic

Markov temporal logic

Concurrent temporal logic

Concurrent temporal logic

Logic programming : 20th international conference ; proceedings

Konferenzschrift | Kongress

Logic programming : 20th international conference ; proceedings

Logic programming : 24rd international conference ; proceedings

Konferenzschrift | Kongress

Logic programming : 24rd international conference ; proceedings

Logic programming : 19th international conference ; proceedings

Konferenzschrift | Kongress

Logic programming : 19th international conference ; proceedings

Logic programming : 25th international conference ; proceedings

Konferenzschrift | Kongress

Logic programming : 25th international conference ; proceedings

Logic programming : 17th international conference ; proceedings

Konferenzschrift | Kongress

Logic programming : 17th international conference ; proceedings

Logic programming : 22nd international conference ; proceedings

Konferenzschrift | Kongress

Logic programming : 22nd international conference ; proceedings

Logic programming : 18th international conference ; proceedings

Konferenzschrift | Kongress

Logic programming : 18th international conference ; proceedings

Verbundene Objekte