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...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Cambridge, United Kingdom ; New York,USA :
Cambridge University Press,
2012.
|
| Témata: | |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Podobné jednotky
Aspects of inductive logic
Autor: Hintikka, Jaakko, a další
Vydáno: (1966)
Autor: Hintikka, Jaakko, a další
Vydáno: (1966)
Mathematics and plausible reasonings
Autor: Pólya, George
Vydáno: (1954)
Autor: Pólya, George
Vydáno: (1954)
Logical foundations of probability
Autor: Carnap, Rudolf
Vydáno: (1950)
Autor: Carnap, Rudolf
Vydáno: (1950)
Mathematics of choice or how to count without counting
Autor: Niven, Ivan Morton
Vydáno: (1965)
Autor: Niven, Ivan Morton
Vydáno: (1965)
Matemáticas básicas
Autor: Taylor, Howard Edward, a další
Vydáno: (1966)
Autor: Taylor, Howard Edward, a další
Vydáno: (1966)
Discrete and combinatorial mathematics: an applied introduction
Autor: Grimaldi, Ralph P
Vydáno: (1985)
Autor: Grimaldi, Ralph P
Vydáno: (1985)
Lectures on a theory of computation and complexity over the reals
Autor: Blum, Lenore
Vydáno: (1990)
Autor: Blum, Lenore
Vydáno: (1990)
Computers and the Riemann hypothesis
Autor: Odlyzko, A. M
Vydáno: (1970)
Autor: Odlyzko, A. M
Vydáno: (1970)
Fundamentos de la matemática discreta
Autor: Gorbátov, Viacheslav A
Vydáno: (1988)
Autor: Gorbátov, Viacheslav A
Vydáno: (1988)
Scientific computing with MATLAB and Octave
Autor: Quarteroni, Alfio, a další
Vydáno: (2010)
Autor: Quarteroni, Alfio, a další
Vydáno: (2010)
Scientific computing with MATLAB and Octave
Autor: Quarteroni, Alfio, a další
Vydáno: (2014)
Autor: Quarteroni, Alfio, a další
Vydáno: (2014)
Matemáticas y razonamiento plausible
Autor: Pólya, George
Vydáno: (1966)
Autor: Pólya, George
Vydáno: (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
Autor: Iommi Amunátegui, Godofredo Tomás
Vydáno: (1988)
Autor: Iommi Amunátegui, Godofredo Tomás
Vydáno: (1988)
Matrix computations
Autor: Golub, Gene Howard, a další
Vydáno: (1989)
Autor: Golub, Gene Howard, a další
Vydáno: (1989)
Discrete mathematics for computer scientists
Autor: Truss, J. K
Vydáno: (1991)
Autor: Truss, J. K
Vydáno: (1991)
Matemáticas discretas
Autor: Ross, Kenneth A, a další
Vydáno: (1990)
Autor: Ross, Kenneth A, a další
Vydáno: (1990)
Estructuras de matemáticas discretas para la computación
Autor: Kolman, Bernard, a další
Vydáno: (1986)
Autor: Kolman, Bernard, a další
Vydáno: (1986)
Computational science and Engineering
Autor: Strang, Gilbert
Vydáno: (2007)
Autor: Strang, Gilbert
Vydáno: (2007)
Matemática discreta
Autor: Ferrando, J. C, a další
Vydáno: (1995)
Autor: Ferrando, J. C, a další
Vydáno: (1995)
Matrix computations
Autor: Golub, Gene Howard, a další
Vydáno: (1996)
Autor: Golub, Gene Howard, a další
Vydáno: (1996)
Matrix computations
Autor: Golub, Gene Howard, a další
Vydáno: (2013)
Autor: Golub, Gene Howard, a další
Vydáno: (2013)
La inducción en geometría
Autor: Goloviná, L. I
Vydáno: (1972)
Autor: Goloviná, L. I
Vydáno: (1972)
Inducción en la Geometría
Autor: Goloviná, L. I, a další
Vydáno: (1976)
Autor: Goloviná, L. I, a další
Vydáno: (1976)
Matemáticas discretas
Autor: Espinoza Armenta, Ramón
Vydáno: (2016)
Autor: Espinoza Armenta, Ramón
Vydáno: (2016)
Matemáticas discreta y combinatoria: introducción y aplicaciones
Autor: Grimaldi, Ralph P
Vydáno: (1989)
Autor: Grimaldi, Ralph P
Vydáno: (1989)
Matemáticas discreta y combinatoria: una introducción con aplicaciones
Autor: Grimaldi, Ralph P
Vydáno: (1997)
Autor: Grimaldi, Ralph P
Vydáno: (1997)
Y C de Newton
Autor: Iommi Amunátegui, Godofredo Tomás
Vydáno: (1987)
Autor: Iommi Amunátegui, Godofredo Tomás
Vydáno: (1987)
Introduction to Quantum Information Science
Autor: Vedral, Vlatko
Vydáno: (2006)
Autor: Vedral, Vlatko
Vydáno: (2006)
Essai sur la connaissance approchée
Autor: Bachelard, Gaston
Vydáno: (1968)
Autor: Bachelard, Gaston
Vydáno: (1968)
Introduction to Data Compression.
Autor: Sayood, Khalid
Vydáno: (2018)
Autor: Sayood, Khalid
Vydáno: (2018)
Discrete mathematics
Autor: Johnsonbaugh, Richard
Vydáno: (1993)
Autor: Johnsonbaugh, Richard
Vydáno: (1993)
Symbolic logic and language: a programmed text
Autor: Dickoff, James, a další
Vydáno: (1965)
Autor: Dickoff, James, a další
Vydáno: (1965)