Otto, Martin

Complexité de calcul (Informa… (6) Computational complexity (6) Model theory (6) Théorie des modèles (6) Modelltheorie (2) Modeltheorie (2) Cardinalite (1) Complejidad computacional (1) Complexite (1) Computer Science (1) Endlichkeit (1) Endlichkeit -- Modelltheorie (1) Mathematical logic (1) Modelltheorie -- Endlichkeit (1) Modèles, Théorie des (1) Teoría de modelos (1) combinatoire (1) matematika (1) mathematics (1) modèle fini (1) théorie jeu (1)

Contributor

Otto, Martin (14)

Publisher

Springer (13) Springer-Verlag (1)

Year

1997 (12) 1996 (2)

Clear filters

Books

Account

Otto, Martin

Bounded variable logics and counting: a study in finite models

Bounded variable logics and counting: a study in finite models

Bounded Variable Logics and Counting: A Study in Finite Models

Bounded variable logics and counting: a study in finite models

Bounded variable logics and counting: a study in finite models

Bounded variable logics and counting: a study in finite models

Bounded variable logics and counting: a study in finite models

Bounded variable logics and counting: a study in finite models

Bounded variable logics and counting: a study in finite models

Bounded variable logics and counting: a study in finite models

Bounded variable logics and counting: a study in finite models

Bounded variable logics and counting: a study in finite models

Bounded variable logics and counting: a study in finite models

Bounded variable logics and counting: a study in finite models

Contoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki Pelajar

Wajib Dimiliki Pelajar

5 Reasons Why Breakfast Is The Most Important Meal of The Day