 |
| | Suchergebnis | | | | | | | | | © | |
|
| | | |||||||||||||
|
 |
Suchgeschichte |  |
| |
|
Kurzliste | |
| |
|
Detailanzeige | |
|
|
|
|
|
|
|
|
||||||||||
|
|
|||||
______________ | ||||||
|
|
|
|||
|
1 - 10 von 10 |
| ||
 |
Ihre Aktion | Suchen (Schlagwörter GND (Phrase) (XSP)) zeitabhängige logik 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. |
Einführung in die formale Logik für Philosophen Zoglauer, Thomas *1960-*. - 4., überarb. Aufl. - Göttingen [u.a.] : Vandenhoeck & Ruprecht, 2008 
|
|
| |||
|
3. |
Modalities and multimodalities Carnielli, Walter. - [Dordrecht] : Springer, 2008 |
|
| |||
|
4. |
The decision problem for combined modal logics Wolter, Frank. - Aachen : Shaker, 2000 |
|
| |||
|
5. |
Temporal logic ; Vol. 2 Gabbay, Dov M. *1945-*. - 2000 |
|
| |||
|
6. |
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 |
|
| |||
|
7. |
Temporal logic : mathematical foundations and computational aspects Gabbay, Dov M. *1945-*. - Oxford : Clarendon Press, 1994- |
|
| |||
|
8. |
Temporal Logic in Specification : Altrincham, UK, April 8-10, 1987, Proceedings Banieqbal, Behnam. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1989 |
|
| |||
|
9. |
Temporal logic in specification : Altrincham, UK, April 8 - 10, 1987 ; proceedings Banieqbal, Behnam. - Online-Ausg.. - Berlin [u.a.] : Springer, 1989 |
|
| |||
|
10. |
Temporal logic in specification : Altrincham, UK, April 8 - 10, 1987 ; proceedings Banieqbal, Behnam. - Berlin : Springer, 1989 |
|
| |||
| |||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||
|
1 - 10 von 10 |
|
|
|
1 - 10 von 10 |
|
|||||||||||||||||||||||||