Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1921
- 153
- 18
- Erscheinungsjahr
-
- 18
- 100
- 88
- 92
- 109
- 93
- 71
- 111
- 61
- 67
- 40
- 70
- 82
- 155
- 65
- 140
- 30
- 35
- 17
- 25
- 26
- 27
- 22
- 52
- 57
- 43
- 39
- 28
- 32
- 25
- 25
- 19
- 19
- 20
- 10
- 10
- 14
- 8
- 7
- 5
- 11
- 6
- 7
- 2
- 6
- 9
- 2
- 3
- 5
- 3
- 5
- 3
- 9
- 3
- 4
- 8
- 2
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- Autoren
-
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 7
- 4
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 6
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 7
- 4
- 2
- 3
- 2
- 2
- 5
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 4
- 8
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 4
- 2
- 6
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 4
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 6
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 6
- 2
- 5
- 3
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 9
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 5
- 2
- 5
- 3
- 2
- 3
- 2
- 5
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 6
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 4
- 24
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 10
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 5
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 4
- 14
- 2
- 2
- 3
- 2
- 2
- 3
- 5
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 4
- 2
- 2
- 13
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 12
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 5
- 3
- 4
- 2
- 4
- 7
- 2
- 2
- 2
- 7
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 3
- 12
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 9
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 4
- 2
- 2
- 7
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 3
- 9
- 3
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 6
- 6
- 3
- 8
- 5
- 2
- 5
- 4
- 3
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 7
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 4
- 3
- 6
- 3
- 3
- 2
- 6
- 5
- 2
- 2
- 2
- 2
- 11
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 8
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 5
- 5
- 6
- 3
- 4
- 3
- 3
- 4
- 3
- 5
- 14
- Verlag
-
- 13
- 2
- 1
- 2
- 2
- 6
- 2
- 1
- 19
- 1
- 2
- 2
- 1
- 1
- 3
- 139
- 13
- 1
- 42
- 157
- 2
- 1
- 2
- 6
- 18
- 2
- 5
- 5
- 3
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 13
- 2
- 7
- 20
- 2
- 1
- 1
- 2
- 28
- 2
- 1
- 5
- 1
- 20
- 1
- 1
- 1
- 1
- 320
- 209
- 4
- 390
- 7
- 2
- 52
- 51
- 242
- 9
- 106
- 8
- 5
- 22
- 9
- 12
- 5
- 2
- 1
- 2
- 1
- 1
- 1
- 15
- 2
- 15
- 1
- 2
- 4
- Preis
-
- 52
- 190
- 692
- 1158
- Sprachen
-
- 1908
- 173
- 17
- 8
- 2
- 1
- Verfügbarkeit
-
- 2075
- 17
- Eigenschaften
-
- 2
- Katalog
-
- 2092
- 131
-
Rahman / Clerbout Linking Game-Theoretical Approaches with Constructive Type Theory
Dialogical Strategies, CTT demonstrations and the Axiom of Choice1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-19062-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Schröder / Bouyer Foundations of Software Science and Computation Structures
25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2¿7, 2022, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-030-99252-1Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Schubring Hermann Günther Graßmann (1809-1877): Visionary Mathematician, Scientist and Neohumanist Scholar
1996Verlag: Springer NetherlandsISBN: 978-0-7923-4261-8Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Bonzon / Nossum / Cavalcanti Formal Aspects of Context
2000Verlag: Springer NetherlandsISBN: 978-0-7923-6350-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Gasser A Boole Anthology
Recent and Classical Studies in the Logic of George Boole2000Verlag: Springer NetherlandsISBN: 978-0-7923-6380-4Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Dosen Cut Elimination in Categories
1999Verlag: Springer NetherlandsISBN: 978-0-7923-5720-9Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Chemla The History of Mathematical Proof in Ancient Traditions
Erscheinungsjahr 2014Verlag: Cambridge University PressISBN: 978-1-107-52753-9Medium: Buch65,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage65,50 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Wallace Essays on the Extended Evolutionary Synthesis
Formalizations and Expansions1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-29878-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Mendelsohn / Fitting First-Order Modal Logic
2. Auflage 2023Verlag: Springer International PublishingISBN: 978-3-031-40713-0Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Piccolomini d'Aragona Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction
2024Verlag: Springer International PublishingISBN: 978-3-031-51405-0Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Ciardelli Inquisitive Logic
Consequence and Inference in the Realm of Questions1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-09705-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Saarinen / Peters Processes, Beliefs, and Questions
Essays on Formal Semantics of Natural Language and Natural Language Processing1. Auflage. Softcover version of original hardcover Auflage 1982Verlag: Springer NetherlandsISBN: 978-90-481-8366-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Metcalfe / Gabbay / Olivetti Proof Theory for Fuzzy Logics
1. Auflage. Softcover version of original hardcover Auflage 2009Verlag: Springer NetherlandsISBN: 978-90-481-8121-6Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Shi / Huang Towards Efficient Fuzzy Information Processing
Using the Principle of Information Diffusion2002Verlag: Physica-Verlag HDISBN: 978-3-7908-1475-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Prestel Lectures on Formally Real Fields
1984Verlag: Springer Berlin HeidelbergISBN: 978-3-540-13885-3Medium: Buch26,70 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage26,70 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Di Prisco Methods in Mathematical Logic
Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, Aug. 1-6, 19831985Verlag: Springer Berlin HeidelbergISBN: 978-3-540-15236-1Medium: Buch53,45 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,45 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Richter / Börger / Thomas Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983
Part 2: Computation and Proof Theory1984Verlag: Springer Berlin HeidelbergISBN: 978-3-540-13901-0Medium: Buch48,10 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage48,10 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Müller / Tugue / Takeuti Logic Symposia, Hakone, 1979, 1980
Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 19801981Verlag: Springer Berlin HeidelbergISBN: 978-3-540-11161-0Medium: Buch42,75 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,75 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Rackoff / Ferrante The Computational Complexity of Logical Theories
1979Verlag: Springer Berlin HeidelbergISBN: 978-3-540-09501-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Grohe / Flum Parameterized Complexity Theory
2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-29952-3Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage117,69 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Shinoda / Tugue / Slaman Mathematical Logic and Applications
Proceedings of the Logic Meeting held in Kyoto, 19871989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51527-2Medium: Buch48,14 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage48,14 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Ambos-Spies / Sacks / Müller Recursion Theory Week
Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 19891990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-52772-5Medium: Buch37,40 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage37,40 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Georgescu Fuzzy Choice Functions
A Revealed Preference Approach1. Auflage. Softcover version of original hardcover Auflage 2007Verlag: SpringerISBN: 978-3-642-08855-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Barwise The Syntax and Semantics of Infinitary Languages
1968Verlag: Springer Berlin HeidelbergISBN: 978-3-540-04242-6Medium: Buch48,14 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage48,14 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Hermes Term Logic with Choice Operator
1965Verlag: Springer Berlin HeidelbergISBN: 978-3-540-04899-2Medium: Buch26,70 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage26,70 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
