Title |
Temporal logic : mathematical foundations. Pt. 2 |
|---|---|
Involved |
Dov M. Gabbay (Mitwirkender) |
Published |
Saarbrücken: MPI Informatik |
Extent |
VII, 185 S. : graph. Darst. |
Topic |
|
Part of |
|
Record ID |
931244536 |
Please note
The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link: