 |
| powered by
|
Modelltheorie
Bücher >
Mathematik >
Grundlagen >
Modelltheorie
 | CONCUR 2001 - Concurrency Theory. 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings (Lecture Notes in Computer Science Vol. 2154) von Kim G. Larsen |  | A Macroeconomic Model of West German Unemployment. Theory and Evidence (Lecture Notes in Economics and Mathematical Systems Vol. 498) von Michael Reutter |  | Nichtstandard Analysis (Springer-Lehrbuch) von Dieter Landers |  | Computer Science Logic. 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings (Lecture Notes in Computer Science Vol. 2142) von Laurent Fribourg |  | Notes on Infinite Permutation Groups (Lecture Notes in Mathematics Vol. 1698) von Meenaxi Bhattacharjee |  | Logical Foundations of Computer Science. 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings (Lecture Notes in Computer Science Vol. 1234) von Sergei Adian |  | Model Theory and Algebraic Geometry. An introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture (Lecture Notes in Mathematics Vol. 1696) von Elisabeth Bouscaren |  | Quantum Stochastic Calculus and Representations of Lie Superalgebras (Lecture Notes in Mathematics Vol. 1692) von Timothy M.W. Eyre |  | Finite Model Theory (Perspectives in Mathematical Logic) von Heinz-Dieter Ebbinghaus |  | Algebraic Logic and Universal Algebra in Computer Science. Proceedings of a Conference, Ames, Iowa, USA. June 1-4, 1988 (Lecture Notes in Computer Science Vol. 425) von Clifford H. Bergman |  | Sie haben vier Ohren. von Markus Schröder |  | Unternehmensinvestitionen. Grundzüge in Theorie und Management (Physica-Lehrbuch) von Henry Schäfer |  | Mathematische Logik, kurzgefaßt. Grundlagen, Modelltheorie, Entscheidbarkeit, Mengenlehre. von Hans-Peter Tuschik |  | Kalziumtransienten und Sarkomerdynamik in Myokardzellen des Rattenventrikels. Experimentelle Untersuchungen und modelltheoretische Simulationen von Henning Salz |  | Generalized Quantifiers and Computation. 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997. Revised Lectures (Lecture Notes in Computer Science Vol. 1754) von Jouko Väänänen |  | The spectrum of simple modular theories von Jon Nedelmann |  | Omega-Bibliography of Mathematical Logic III. Model Theory (Perspectives in Mathematical Logic) von Heinz-Dieter Ebbinghaus |  | A Course in Universal Algebra (Graduate Texts in Mathematics Vol. 78) von S. Burris |  | Quantitative Erfassung der Software und ihres Entstehungsprozesses . von Marcus Deininger | Zum Thema: | |
HTML-Code zum Verweis auf diese Seite: <a href="http://www.uni-protokolle.de/buecher/kat/519962/">
Modelltheorie </a>
|