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
-
Loregian (Co)end Calculus
Erscheinungsjahr 2021Verlag: Cambridge University PressISBN: 978-1-108-74612-0Medium: Buch99,30 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage99,30 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Marker / Messmer / Pillay Model Theory of Fields
Erscheinungsjahr 2017Verlag: Cambridge University PressISBN: 978-1-107-16807-7Medium: Buch133,90 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage133,90 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Montalbán Computable Structure Theory
Erscheinungsjahr 2021Verlag: Cambridge University PressISBN: 978-1-108-42329-8Medium: Buch134,10 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage134,10 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Fermüller / Zamov / Leitsch Resolution Methods for the Decision Problem
1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56732-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Batzoglou Introduction to Incompleteness
From Gödel's Theorems to Forcing and the Continuum Hypothesis2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-64216-6Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Joshi Proof Patterns
2015Verlag: Springer International PublishingISBN: 978-3-319-16249-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Gauthier Towards an Arithmetical Logic
The Arithmetical Foundations of Logic1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-22086-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Thiagarajan / Donatelli Petri Nets and Other Models of Concurrency - ICATPN 2006
27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-34699-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Stegmüller Selbstreferenz, Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström
1984Verlag: Springer Berlin HeidelbergISBN: 978-3-540-12213-5Medium: Buch17,95 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage17,95 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Voronkov / Parigot Logic for Programming and Automated Reasoning
7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41285-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Ringeissen / Kirchner Frontiers of Combining Systems
Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67281-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Varzinczak / Šimkus Reasoning Web. Declarative Artificial Intelligence
17th International Summer School 2021, Leuven, Belgium, September 8-15, 2021, Tutorial Lectures1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-030-95480-2Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Reilly / Petrich Completely Regular Semigroup Varieties
A Comprehensive Study with Modern Insights2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-42890-6Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Ehrig / Schürr / Rensink Graph Transformations
5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings2010Verlag: SpringerISBN: 978-3-642-15927-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
van den Dries / Koenigsmann / Wilkie Model Theory in Algebra, Analysis and Arithmetic
Cetraro, Italy 2012, Editors: H. Dugald Macpherson, Carlo Toffalori2014Verlag: SpringerISBN: 978-3-642-54935-9Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage64,19 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Casadio / Scott / Coecke Categories and Types in Logic, Language, and Physics
Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday2014Verlag: SpringerISBN: 978-3-642-54788-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Skowron / Peters Transactions on Rough Sets XVII
2014Verlag: SpringerISBN: 978-3-642-54755-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Tortora de Falco / Abrusci Logica
Volume 2 - Incompletezza, teoria assiomatica degli insiemi1a Auflage 2018Verlag: Springer MilanISBN: 978-88-470-3967-4Medium: Buch30,86 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage30,86 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Fenske Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth
1967Verlag: VS Verlag für SozialwissenschaftenISBN: 978-3-322-96118-1Medium: Buch54,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage54,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Nerode / Artemov Logical Foundations of Computer Science
International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings2009Verlag: Springer Berlin HeidelbergISBN: 978-3-540-92686-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Strichman / Szeider Theory and Applications of Satisfiability Testing - SAT 2010
13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14185-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Venturi / Petrolo Paradoxes Between Truth and Proof
2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-74526-3Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Koons Realism Regained: An Exact Theory of Causation, Teleology, and the Mind
Neuausgabe 2000Verlag: OXFORD UNIV PRISBN: 978-0-19-513567-1Medium: Buch140,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage140,50 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Walton Goal-Based Reasoning for Argumentation
Erscheinungsjahr 2015Verlag: Cambridge University PressISBN: 978-1-107-54509-0Medium: Buch47,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage47,00 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Bimbo Proof Theory
Sequent Calculi and Related Formalisms1. Auflage 2014Verlag: CRC PressISBN: 978-1-4665-6466-4Medium: Buch151,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage151,50 € (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
