Introduction to bisimulation and coinduction /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Sangiorgi, Davide, 1964- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Cambridge : Cambridge University Press, 2011
Témata:
induktivní logika
matematika
modalita (logika)
inductive logic
mathematics
modality (logic)
monografie
monographs
Obálka Obsah Přejít na ObalkyKnih.cz
Popis
Fyzický popis:xii, 247 s.
Bibliografie:Obsahuje bibliografii a rejstřík
ISBN:978-1-107-00363-7

Podobné jednotky