QR kód

Using sophisticated models in resolutin theorem proving /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Sandford, David M. (Autor)
Médium:	Kniha
Jazyk:	čeština
Vydáno:	Berlin : Springer, 1980
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

Automated theorem proving : a logical basis /
Autor: Loveland, Donald W.
Vydáno: (1978)

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)

Proving programs correct /
Autor: Anderson, Robert Brockett, 1941-
Vydáno: (1979)

Classic groundwater simulations. Proving and improving numerical models /
Autor: Ségol, Geneviéve
Vydáno: (1994)

Hypervirial theorems /
Autor: Fernández, Francisco M.
Vydáno: (1987)

The spread of financial sophistication through emerging markets worldwide
Vydáno: (2016)

Fixed point theorems /
Autor: Smart, D. R.
Vydáno: (1974)

Coding theorems of information thery /
Autor: Wolfowitz, Jakob
Vydáno: (1978)

Generalizations of the Beckenbach - Radó theorem /
Autor: Ekonen, Markku
Vydáno: (2002)

Elementary Fixed Point Theorems
Autor: Subrahmanyam, P.V
Vydáno: (2018)

Advances in Mathematics Education Research on Proof and Proving An International Perspective /
Vydáno: (2018)

Comparison theorems for functional differential equations /
Autor: Džurina, Jozef
Vydáno: (2002)

Limit theorems for certain continuous Markov processes /
Autor: Nikunen, Martti
Vydáno: (1980)

Invariance theorems for the Bilipschitz and quasisymmetric extension properties /
Autor: Partanen, Juha
Vydáno: (1991)

LIMIT THEOREMS IN PROBABILITY AND STATISTICS. VOL. 1 /
Autor: Aleškjavičene, A. K.
Vydáno: (1984)

LIMIT THEOREMS IN PROBABILITY AND STATISTICS. VOL. 2 /
Autor: Heyde, C. C.
Vydáno: (1984)

STRONG LIMIT THEOREMS IN NON-COMMUTATIVE PROBABILITY /
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)

On Picard-type theorems and boundary behavior of quasiregular mappings /
Autor: Kankaanpää, Jouni
Vydáno: (1997)

Information theory. Coding theorems for discrete memoryless systems /
Autor: Csiszár, Imre
Vydáno: (1981)

Mean square value theorems for integers without large prime factors /
Autor: Neumann, Stefan
Vydáno: (2006)

Design and use of computer simulation models /
Autor: Emshoff, James R., a další
Vydáno: (1970)

Management science. Building and using models /
Autor: Knowles, Thomas W.
Vydáno: (1989)

Nonlinear nonequilibrium thermodynamics. Vol. I. Linear and nonlinear fluctuation-dissipation theorems /
Autor: Stratonovich, Rouslan L.
Vydáno: (1992)

Modeling and analysis using O-Gert networks /
Autor: Pritsker, A. Alan B.
Vydáno: (1977)

AN INTRODUCTION TO SPLINES FOR USE IN COMPUTER GRAPHICS AND MODELING /
Autor: Bartels, Richard H.
Vydáno: (1987)

Modeling with Rules Using Semantic Knowledge Engineering
Autor: Nalepa, Grzegorz J.
Vydáno: (2018)

The use of flow models for design of plant operating procedures /
Autor: Lind, Morten
Vydáno: (1982)

Computer graphics and geometric modeling using beta-splines /
Autor: Barsky, Brian A.
Vydáno: (1988)

Statistical modeling of expert opinions using imprecise probabilities /
Autor: Coolen, Franciscus Petrus Antonius
Vydáno: (1994)

The use of satellites in gravity field determination and model adjustment /
Autor: Visser, Petrus Nicolaas Anna Maria
Vydáno: (1992)

A procedural model for the use of bibliographic records in libraries /
Autor: Thomas, P. A.
Vydáno: (1970)

Using Simulation Tools to Model Renewable Resources The Case of the Thai Rubber Industry /
Autor: Chanchaichujit, Janya
Vydáno: (2018)

Optimization and control of biotechnical processes using mechanistic mathematical models /
Autor: Breugel, Jan van
Vydáno: (1986)

Evaluation of chemistry and climate models using measurements and data assimilation /
Autor: Jeuken, Adriaan Bernardus Marie
Vydáno: (2000)

Automatic verification of road databases using multiple road models /
Autor: Ziems, Marcel 1977-
Vydáno: (2014)

Designing cooperative systems. The use of theories and models : COOP'2000, Sophia Antipolis, France, May 23 - 26, 2000 /
Autor: De Michelis, Giorgio
Vydáno: (2000)

Digital design using ABEL /
Autor: Pellerin, David
Vydáno: (1994)

Model Averaging
Autor: Fletcher, David
Vydáno: (2018)

Green globe. Yearbook of international co-operation on environment and development. 1994. An independent publication on environment and development from the Fridtjof Nansen Institute, Norway /
Autor: Sandford, Rosemary
Vydáno: (1994)