Temporal logic : mathematical foundations and computational aspects. Vol. 2
Finna-arvio
Temporal logic : mathematical foundations and computational aspects. Vol. 2
Tallennettuna:
| Ulkoasu |
xiii, 597 sivua |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Julkaisija |
Oxford :
Clarendon Press,
2000.
|
| Sarja | Oxford logic guides, 40. |
| Lisätiedot | Dov M. Gabbay, Mark A. Reynolds, Marcelo Finger |
| ISBN |
0-19-853768-9 kovakantinen |