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...
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Գիրք |
| Լեզու: | անգլերեն |
| Հրապարակվել է: |
Cambridge, United Kingdom ; New York,USA :
Cambridge University Press,
2012.
|
| Խորագրեր: | |
| Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
Նմանատիպ նյութեր
Aspects of inductive logic
: Hintikka, Jaakko, և այլն
Հրապարակվել է: (1966)
: Hintikka, Jaakko, և այլն
Հրապարակվել է: (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, և այլն
Հրապարակվել է: (1966)
: Taylor, Howard Edward, և այլն
Հրապարակվել է: (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, և այլն
Հրապարակվել է: (2010)
: Quarteroni, Alfio, և այլն
Հրապարակվել է: (2010)
Scientific computing with MATLAB and Octave
: Quarteroni, Alfio, և այլն
Հրապարակվել է: (2014)
: Quarteroni, Alfio, և այլն
Հրապարակվել է: (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, և այլն
Հրապարակվել է: (1989)
: Golub, Gene Howard, և այլն
Հրապարակվել է: (1989)
Discrete mathematics for computer scientists
: Truss, J. K
Հրապարակվել է: (1991)
: Truss, J. K
Հրապարակվել է: (1991)
Matemáticas discretas
: Ross, Kenneth A, և այլն
Հրապարակվել է: (1990)
: Ross, Kenneth A, և այլն
Հրապարակվել է: (1990)
Estructuras de matemáticas discretas para la computación
: Kolman, Bernard, և այլն
Հրապարակվել է: (1986)
: Kolman, Bernard, և այլն
Հրապարակվել է: (1986)
Computational science and Engineering
: Strang, Gilbert
Հրապարակվել է: (2007)
: Strang, Gilbert
Հրապարակվել է: (2007)
Matemática discreta
: Ferrando, J. C, և այլն
Հրապարակվել է: (1995)
: Ferrando, J. C, և այլն
Հրապարակվել է: (1995)
Matrix computations
: Golub, Gene Howard, և այլն
Հրապարակվել է: (1996)
: Golub, Gene Howard, և այլն
Հրապարակվել է: (1996)
Matrix computations
: Golub, Gene Howard, և այլն
Հրապարակվել է: (2013)
: Golub, Gene Howard, և այլն
Հրապարակվել է: (2013)
La inducción en geometría
: Goloviná, L. I
Հրապարակվել է: (1972)
: Goloviná, L. I
Հրապարակվել է: (1972)
Inducción en la Geometría
: Goloviná, L. I, և այլն
Հրապարակվել է: (1976)
: Goloviná, L. I, և այլն
Հրապարակվել է: (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, և այլն
Հրապարակվել է: (1965)
: Dickoff, James, և այլն
Հրապարակվել է: (1965)