Konferenzschrift | Kongress

Executable modal and temporal logics : proceedings

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783540589761
3540589767
9780387589763
0387589767
Maße
24 cm
Umfang
180 S.
Sprache
Deutsch
Anmerkungen
graph. Darst.
Literaturangaben

Erschienen in
Lecture notes in computer science ; Vol. 897 : Lecture notes in artificial intelligence

Schlagwort
Modallogik
Temporale Logik

Ereignis
Veröffentlichung
(wo)
Berlin, Heidelberg, New York
(wer)
Springer
(wann)
1995
Beteiligte Personen und Organisationen
Fisher, Michael
IJCAI (13 : 1993 : Chambéry)

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:10 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

  • 1995

Ähnliche Objekte (12)

Logics in AI : proceedings

Konferenzschrift | Kongress

Logics in AI : proceedings

Logics in artificial intelligence : proceedings

Konferenzschrift | Kongress

Logics in artificial intelligence : proceedings

Logics in artificial intelligence : European workshop ; proceedings

Konferenzschrift | Kongress

Logics in artificial intelligence : European workshop ; proceedings

Logics in artificial intelligence : European workshop ; proceedings

Konferenzschrift | Kongress

Logics in artificial intelligence : European workshop ; proceedings

Logics in artificial intelligence : European workshop ; proceedings

Konferenzschrift | Kongress

Logics in artificial intelligence : European workshop ; proceedings

Lattices of modal logics

Hochschulschrift

Lattices of modal logics

Logics in artificial intelligence : 9th European conference ; proceedings

Konferenzschrift | Kongress

Logics in artificial intelligence : 9th European conference ; proceedings

Logics in artificial intelligence : 12th European conference ; proceedings

Konferenzschrift | Kongress

Logics in artificial intelligence : 12th European conference ; proceedings

Constraints in computational logics : first international conference ; proceedings

Konferenzschrift | Kongress

Constraints in computational logics : first international conference ; proceedings

Logics in artificial intelligence : 8th European conference ; proceedings

Konferenzschrift | Kongress

Logics in artificial intelligence : 8th European conference ; proceedings

Logics in artificial intelligence : 11th European conference ; proceedings

Konferenzschrift | Kongress

Logics in artificial intelligence : 11th European conference ; proceedings

Logics in artificial intelligence : 10th European conference ; proceedings

Konferenzschrift | Kongress

Logics in artificial intelligence : 10th European conference ; proceedings

Verbundene Objekte