|
|
|
|
|
|
|
|
1 - 10 von 10 |
|
|
Ihre Aktion |
Suchen (Schlagwörter GND (Phrase) (XSP)) zeitlogik eingrenzen (Basisklassifikation (XBKL)) 31.10
|
|
|
|
|
|
1. |
Temporal logic : from philosophy and proof theory to artifical intelligence and quantum computing Centrone, Stefania *1975-*. - New Yersey : World Scientific Publishing Company, 2023
|
|
|
|
2. |
Temporal Logic in Specification : Altrincham, UK, April 8-10, 1987, Proceedings Banieqbal, Behnam. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1989
|
|
|
|
3. |
Temporal logic in specification : Altrincham, UK, April 8 - 10, 1987 ; proceedings Banieqbal, Behnam. - Online-Ausg.. - Berlin [u.a.] : Springer, 1989
|
|
|
|
4. |
Einführung in die formale Logik für Philosophen Zoglauer, Thomas *1960-*. - 4., überarb. Aufl. - Göttingen [u.a.] : Vandenhoeck & Ruprecht, 2008
|
|
|
|
5. |
Modalities and multimodalities Carnielli, Walter. - [Dordrecht] : Springer, 2008
|
|
|
|
6. |
The decision problem for combined modal logics Wolter, Frank. - Aachen : Shaker, 2000
|
|
|
|
7. |
Temporal logic ; Vol. 2 Gabbay, Dov M. *1945-*. - 2000
|
|
|
|
8. |
Fully decidable logics, automata and classical theories for defining regular real-time languages Henzinger, Thomas *1962-*. - Saarbrücken : Max-Planck-Inst. für Informatik, Bibliothek & Dokumentation, 1999
|
|
|
|
9. |
Temporal logic : mathematical foundations and computational aspects Gabbay, Dov M. *1945-*. - Oxford : Clarendon Press, 1994-
|
|
|
|
10. |
Temporal logic in specification : Altrincham, UK, April 8 - 10, 1987 ; proceedings Banieqbal, Behnam. - Berlin : Springer, 1989
|
|
|
|
|
|
|
1 - 10 von 10 |
|
Wort |
|
Typ |
|
Anzahl |
|
zeitlogik |
|
Schlagwörter GND (Phrase) (XSP) |
|
92 |
31.10 |
|
Basisklassifikation (XBKL) |
|
1223 |
|
|
|
|
|
|
|
1 - 10 von 10 |
|
|