Finite model theory

Finite model theory

Εμφάνιση άλλων εκδόσεων (2)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Ebbinghaus, Heinz-Dieter, 1939-
Άλλοι συγγραφείς:	Flum, Jorg
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin Springer 1999
Έκδοση:	2nd edition
Θέματα:	Μαθηματικά μοντέλα

Παρόμοια τεκμήρια

Finite model theory /
ανά: Ebbinghaus, Heinz-Dieter, 1939-
Έκδοση: (1995)

Finite model theory and its applications /
Έκδοση: (2007)

Model theory
ανά: Manzano, Maria
Έκδοση: (1999)

Model theory /
ανά: Hodges, Wilfrid
Έκδοση: (1993)

Model theory /
ανά: Chang, Chin-Chen 1927-
Έκδοση: (1973)

Model theory and topoi : a collection of lectures by various authors /
Έκδοση: (1975)

Multigrid finite element methods for electromagnetic field modeling
ανά: Zhu, Yu 1973-
Έκδοση: (2006)

Intuitionistic logic, model theory and forcing /
ανά: Fitting, Melvin 1942-
Έκδοση: (1969)

A course in model theory : an introduction to contemporary mathematical logic /
ανά: Poizat, Bruno
Έκδοση: (2000)

Mathematical modelling
Έκδοση: (1980)

Mathematics for dynamic modeling /
ανά: Beltrami, Edward J.
Έκδοση: (1987)

An introduction to mathematical modelling
ανά: Fowkes, Neville D.
Έκδοση: (1994)

Thinking with models Mathematical models in the physical, biological, and social sciences
ανά: Saaty, Thomas Lorie 1926-
Έκδοση: (1981)

Models and ultraproducts an introduction
ανά: Bell, J. L.
Έκδοση: (1997)

Mathematical modelling concepts and case studies
ανά: Caldwell, J. ((Jim))
Έκδοση: (1999)

Mathematical modelling case studies and projects
ανά: Caldwell, J. ((Jim))
Έκδοση: (2004)

Concepts of mathematical modeling
ανά: Meyer, Walter
Έκδοση: (2004)

Mathematical modelling techniques
ανά: Aris, Rutherford
Έκδοση: (1994)

An introduction to mathematical modelling /
ανά: Fowkes, Neville D
Έκδοση: (1994)

Mathematical modelling classroom notes in applied mathematics
Έκδοση: (1989)

Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers /
ανά: Keisler, H. Jerome
Έκδοση: (1971)

The art of modeling in science and engineering
ανά: Basmadjian, Diran
Έκδοση: (1999)

Modelling with differential and difference equations /
ανά: Fulford, Glenn
Έκδοση: (1997)

Mathematical and numerical modelling in electrical engineering theory and applications
ανά: Krizek, Michal
Έκδοση: (1996)

Mathematical modelling courses for engineering education /
Έκδοση: (1994)

An introduction to mathematical models in the social life sciences
ανά: Olinik, Michael
Έκδοση: (1978)

Computational modeling of polymers
Έκδοση: (1992)

Model theory and algebra : a memorial tribute to Abraham Robinson /
Έκδοση: (1975)

Handbook of applied multivariate statistics and mathematical modeling /
Έκδοση: (2000)

The structure of applied general equilibrium models
ανά: Ginsburgh, Victor
Έκδοση: (1997)

Mathematical models in medicine : Workshop, Mainz, March 1976 /
Έκδοση: (1976)

Optimal reliability modeling principles and applications
ανά: Kuo, Way, κ.ά.
Έκδοση: (2003)

Elementary mathematical models : order aplenty and a glimpse of chaos /
ανά: Kalman, Dan
Έκδοση: (1997)

A conceptual introduction to modeling : qualitative and quantitative perspectives /
ανά: Britt, David W.
Έκδοση: (1997)

Principles of optimal design modeling and computation
ανά: Παπαλάμπρος, Πάνος
Έκδοση: (2000)

Computational modeling methods for neuroscientists
Έκδοση: (2010)

Uncertain volatility models : theory and application /
ανά: Buff, Robert
Έκδοση: (2002)

Model-theoretic logics
Έκδοση: (1985)

Modern modeling of continuum phenomena /
Έκδοση: (1977)

Mathematical modelling for polymer processing polymerization, crystallization, manufacturing
Έκδοση: (2003)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών