Studium, Ausbildung und Beruf

web uni-protokolle.de
 powered by
NachrichtenLexikonProtokolleBücherForenDienstag, 21. Mai 2013 

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:
    ImpressumLesezeichen setzenSeite versendenSeite drucken

    HTML-Code zum Verweis auf diese Seite:
    <a href="http://www.uni-protokolle.de/buecher/kat/519962/"> Modelltheorie </a>