Introduction to bisimulation and coinduction
"Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning on them. Coinduction is the dual of induction and as such it brings in quite different tools. Today, it is widely used in computer science, but also in other fields, including artificial intell...
Saved in:
| 主要作者: | |
|---|---|
| 格式: | 圖書 |
| 語言: | 英语 |
| 出版: |
Cambridge, United Kingdom ; New York,USA :
Cambridge University Press,
2012.
|
| 主題: | |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
相似書籍
Aspects of inductive logic
由: Hintikka, Jaakko, et al.
出版: (1966)
由: Hintikka, Jaakko, et al.
出版: (1966)
Mathematics and plausible reasonings
由: Pólya, George
出版: (1954)
由: Pólya, George
出版: (1954)
Logical foundations of probability
由: Carnap, Rudolf
出版: (1950)
由: Carnap, Rudolf
出版: (1950)
Mathematics of choice or how to count without counting
由: Niven, Ivan Morton
出版: (1965)
由: Niven, Ivan Morton
出版: (1965)
Matemáticas básicas
由: Taylor, Howard Edward, et al.
出版: (1966)
由: Taylor, Howard Edward, et al.
出版: (1966)
Discrete and combinatorial mathematics: an applied introduction
由: Grimaldi, Ralph P
出版: (1985)
由: Grimaldi, Ralph P
出版: (1985)
Lectures on a theory of computation and complexity over the reals
由: Blum, Lenore
出版: (1990)
由: Blum, Lenore
出版: (1990)
Computers and the Riemann hypothesis
由: Odlyzko, A. M
出版: (1970)
由: Odlyzko, A. M
出版: (1970)
Fundamentos de la matemática discreta
由: Gorbátov, Viacheslav A
出版: (1988)
由: Gorbátov, Viacheslav A
出版: (1988)
Scientific computing with MATLAB and Octave
由: Quarteroni, Alfio, et al.
出版: (2010)
由: Quarteroni, Alfio, et al.
出版: (2010)
Scientific computing with MATLAB and Octave
由: Quarteroni, Alfio, et al.
出版: (2014)
由: Quarteroni, Alfio, et al.
出版: (2014)
Matemáticas y razonamiento plausible
由: Pólya, George
出版: (1966)
由: Pólya, George
出版: (1966)
Veinte algoritmos: apuntes de Isabel Margarita Reyes de las clases dictadas en los Talleres de la Escuela de Arquitectura U.C.V. durante los años 1978-83
由: Iommi Amunátegui, Godofredo Tomás
出版: (1988)
由: Iommi Amunátegui, Godofredo Tomás
出版: (1988)
Matrix computations
由: Golub, Gene Howard, et al.
出版: (1989)
由: Golub, Gene Howard, et al.
出版: (1989)
Discrete mathematics for computer scientists
由: Truss, J. K
出版: (1991)
由: Truss, J. K
出版: (1991)
Matemáticas discretas
由: Ross, Kenneth A, et al.
出版: (1990)
由: Ross, Kenneth A, et al.
出版: (1990)
Estructuras de matemáticas discretas para la computación
由: Kolman, Bernard, et al.
出版: (1986)
由: Kolman, Bernard, et al.
出版: (1986)
Computational science and Engineering
由: Strang, Gilbert
出版: (2007)
由: Strang, Gilbert
出版: (2007)
Matemática discreta
由: Ferrando, J. C, et al.
出版: (1995)
由: Ferrando, J. C, et al.
出版: (1995)
Matrix computations
由: Golub, Gene Howard, et al.
出版: (1996)
由: Golub, Gene Howard, et al.
出版: (1996)
Matrix computations
由: Golub, Gene Howard, et al.
出版: (2013)
由: Golub, Gene Howard, et al.
出版: (2013)
La inducción en geometría
由: Goloviná, L. I
出版: (1972)
由: Goloviná, L. I
出版: (1972)
Inducción en la Geometría
由: Goloviná, L. I, et al.
出版: (1976)
由: Goloviná, L. I, et al.
出版: (1976)
Matemáticas discretas
由: Espinoza Armenta, Ramón
出版: (2016)
由: Espinoza Armenta, Ramón
出版: (2016)
Matemáticas discreta y combinatoria: introducción y aplicaciones
由: Grimaldi, Ralph P
出版: (1989)
由: Grimaldi, Ralph P
出版: (1989)
Matemáticas discreta y combinatoria: una introducción con aplicaciones
由: Grimaldi, Ralph P
出版: (1997)
由: Grimaldi, Ralph P
出版: (1997)
Y C de Newton
由: Iommi Amunátegui, Godofredo Tomás
出版: (1987)
由: Iommi Amunátegui, Godofredo Tomás
出版: (1987)
Introduction to Quantum Information Science
由: Vedral, Vlatko
出版: (2006)
由: Vedral, Vlatko
出版: (2006)
Essai sur la connaissance approchée
由: Bachelard, Gaston
出版: (1968)
由: Bachelard, Gaston
出版: (1968)
Introduction to Data Compression.
由: Sayood, Khalid
出版: (2018)
由: Sayood, Khalid
出版: (2018)
Discrete mathematics
由: Johnsonbaugh, Richard
出版: (1993)
由: Johnsonbaugh, Richard
出版: (1993)
Symbolic logic and language: a programmed text
由: Dickoff, James, et al.
出版: (1965)
由: Dickoff, James, et al.
出版: (1965)