Advances in Temporal Logic

Uloženo v:
Podrobná bibliografie
Další autoři: Gabbay, Dov M., 1945- (Spolupracovník), Gough, Graham (Spolupracovník), Fisher, Michael (Spolupracovník), Barringer, Howard (Spolupracovník)
Médium: Livre numérique
Jazyk:Anglais
Vydáno: Cham : Springer International Publishing [20..].
Cham : Springer Nature
On-line přístup:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Poznámka: Autre(s) contributeur(s) : Graham Gough
Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Advances in Temporal Logic, 978-90-481-5389-3

Podobné jednotky