Automated theorem proving : a logical basis /
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Kniha |
| Jazyk: | čeština |
| Vydáno: |
Amsterdam :
North-Holland Publishing,
1978
|
| Edice: | rz1
|
| On-line přístup: |
|
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Podobné jednotky
Using sophisticated models in resolutin theorem proving /
Autor: Sandford, David M.
Vydáno: (1980)
Autor: Sandford, David M.
Vydáno: (1980)
Higher order logic theorem proving and its applications : Proceedings of the IFIP TC10/WG10.2 internat. workshop, Leuven, Belgium, 21 - 24 Sept., 1992 /
Autor: Melham, Thomas F.
Vydáno: (1993)
Autor: Melham, Thomas F.
Vydáno: (1993)
Proving programs correct /
Autor: Anderson, Robert Brockett, 1941-
Vydáno: (1979)
Autor: Anderson, Robert Brockett, 1941-
Vydáno: (1979)
Hypervirial theorems /
Autor: Fernández, Francisco M.
Vydáno: (1987)
Autor: Fernández, Francisco M.
Vydáno: (1987)
Fixed point theorems /
Autor: Smart, D. R.
Vydáno: (1974)
Autor: Smart, D. R.
Vydáno: (1974)
Coding theorems of information thery /
Autor: Wolfowitz, Jakob
Vydáno: (1978)
Autor: Wolfowitz, Jakob
Vydáno: (1978)
Generalizations of the Beckenbach - Radó theorem /
Autor: Ekonen, Markku
Vydáno: (2002)
Autor: Ekonen, Markku
Vydáno: (2002)
Elementary Fixed Point Theorems
Autor: Subrahmanyam, P.V
Vydáno: (2018)
Autor: Subrahmanyam, P.V
Vydáno: (2018)
Advances in Mathematics Education Research on Proof and Proving An International Perspective /
Vydáno: (2018)
Vydáno: (2018)
Classic groundwater simulations. Proving and improving numerical models /
Autor: Ségol, Geneviéve
Vydáno: (1994)
Autor: Ségol, Geneviéve
Vydáno: (1994)
Comparison theorems for functional differential equations /
Autor: Džurina, Jozef
Vydáno: (2002)
Autor: Džurina, Jozef
Vydáno: (2002)
Limit theorems for certain continuous Markov processes /
Autor: Nikunen, Martti
Vydáno: (1980)
Autor: Nikunen, Martti
Vydáno: (1980)
Invariance theorems for the Bilipschitz and quasisymmetric extension properties /
Autor: Partanen, Juha
Vydáno: (1991)
Autor: Partanen, Juha
Vydáno: (1991)
LIMIT THEOREMS IN PROBABILITY AND STATISTICS. VOL. 1 /
Autor: Aleškjavičene, A. K.
Vydáno: (1984)
Autor: Aleškjavičene, A. K.
Vydáno: (1984)
LIMIT THEOREMS IN PROBABILITY AND STATISTICS. VOL. 2 /
Autor: Heyde, C. C.
Vydáno: (1984)
Autor: Heyde, C. C.
Vydáno: (1984)
STRONG LIMIT THEOREMS IN NON-COMMUTATIVE PROBABILITY /
Autor: Jajte, Ryszard
Vydáno: (1985)
Autor: Jajte, Ryszard
Vydáno: (1985)
Reaction Kinetics: Exercises, Programs and Theorems Mathematica for Deterministic and Stochastic Kinetics /
Autor: Tóth, János
Vydáno: (2018)
Autor: Tóth, János
Vydáno: (2018)
On Picard-type theorems and boundary behavior of quasiregular mappings /
Autor: Kankaanpää, Jouni
Vydáno: (1997)
Autor: Kankaanpää, Jouni
Vydáno: (1997)
Information theory. Coding theorems for discrete memoryless systems /
Autor: Csiszár, Imre
Vydáno: (1981)
Autor: Csiszár, Imre
Vydáno: (1981)
Automation
Vydáno: (2007)
Vydáno: (2007)
Automated deduction in equational logic and cubic curves /
Autor: Maccune, William
Vydáno: (1996)
Autor: Maccune, William
Vydáno: (1996)
Successfull office automation /
Autor: Fairbanks, Ralph W.
Vydáno: (1956)
Autor: Fairbanks, Ralph W.
Vydáno: (1956)
Mean square value theorems for integers without large prime factors /
Autor: Neumann, Stefan
Vydáno: (2006)
Autor: Neumann, Stefan
Vydáno: (2006)
Perfection in Automation.
Vydáno: (2008)
Vydáno: (2008)
Migatronic automation
Vydáno: (2012)
Vydáno: (2012)
The automative engine /
Autor: Nuwney, M. J.
Vydáno: (1975)
Autor: Nuwney, M. J.
Vydáno: (1975)
Automated manufacturing /
Autor: Riley, Frank J.
Vydáno: (1983)
Autor: Riley, Frank J.
Vydáno: (1983)
LANGUAGES FOR AUTOMATION /
Autor: Ellis, Clarence A.
Vydáno: (1985)
Autor: Ellis, Clarence A.
Vydáno: (1985)
Flexible automation /
Autor: Fuchs, Heinz
Vydáno: (1990)
Autor: Fuchs, Heinz
Vydáno: (1990)
Automated Test.
Vydáno: (2010)
Vydáno: (2010)
Manufacturing automation
Elektrotechnik. Automation