Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1445
- 92
- 7
- 1
- Erscheinungsjahr
-
- 10
- 16
- 14
- 20
- 31
- 27
- 39
- 54
- 37
- 32
- 23
- 29
- 56
- 126
- 19
- 174
- 18
- 47
- 27
- 30
- 34
- 25
- 29
- 47
- 55
- 48
- 49
- 44
- 37
- 41
- 32
- 30
- 40
- 26
- 18
- 15
- 13
- 5
- 13
- 8
- 3
- 7
- 12
- 2
- 8
- 4
- 3
- 1
- 5
- 2
- 3
- 5
- 6
- 2
- 4
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- Autoren
-
- 1
- 1
- 1
- 3
- 2
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 3
- 2
- 2
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 2
- 3
- 1
- 3
- 1
- 1
- 2
- 2
- 3
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 2
- 3
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 7
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 7
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 3
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 2
- 1
- 2
- 3
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 4
- 3
- 1
- 3
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 3
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 5
- 1
- 1
- 1
- 7
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 7
- 1
- 2
- 2
- 1
- 1
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 7
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 2
- 1
- 1
- 2
- 4
- 1
- 1
- 2
- 2
- 3
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 4
- 2
- 2
- 4
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 6
- 9
- 1
- 3
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 2
- 4
- 2
- 2
- 1
- 1
- 2
- 2
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 20
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 6
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 4
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 6
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 9
- 6
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 6
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 4
- 5
- 2
- 5
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 4
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 3
- 2
- 4
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 10
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 3
- 3
- 4
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 14
- Verlag
-
- 14
- 1
- 6
- 2
- 6
- 33
- 1
- 1
- 99
- 8
- 8
- 23
- 67
- 1
- 1
- 3
- 14
- 1
- 1
- 2
- 1
- 2
- 5
- 1
- 1
- 5
- 1
- 1
- 14
- 1
- 5
- 1
- 3
- 1
- 1
- 3
- 2
- 2
- 1
- 1
- 2
- 1
- 15
- 10
- 10
- 1
- 1
- 1
- 1
- 14
- 2
- 2
- 6
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 5
- 281
- 179
- 2
- 39
- 4
- 1
- 9
- 12
- 326
- 21
- 137
- 6
- 4
- 2
- 1
- 1
- 25
- 13
- 9
- 5
- 3
- 1
- 3
- 1
- 14
- 1
- 1
- 1
- 10
- 1
- 1
- 1
- 3
- 2
- 1
- Preis
-
- 75
- 167
- 447
- 856
- Sprachen
-
- 1356
- 177
- 12
- 6
- 3
- Verfügbarkeit
-
- 1525
- 20
- Katalog
-
- 1545
- 124
-
Ong Computer Science Logic
19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-28231-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Stegmüller Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit
1984Verlag: Springer Berlin HeidelbergISBN: 978-3-540-12212-8Medium: Buch19,95 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage19,95 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Williams Instantiation Theory
On the Foundations of Automated Deduction1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54333-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Wansing The Logic of Information Structures
1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56734-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Doshita / Nishida / Furukawa Algorithmic Learning Theory - ALT '92
Third Workshop, ALT '92, Tokyo, Japan, October 20-22, 1992. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57369-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Peckhaus / Ebbinghaus Ernst Zermelo
An Approach to His Life and Work2. Auflage 2015Verlag: SpringerISBN: 978-3-662-50097-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Poizat A Course in Model Theory
An Introduction to Contemporary Mathematical LogicSoftcover Nachdruck of the original 1. Auflage 2000Verlag: SpringerISBN: 978-1-4612-6446-0Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Stephan / Hutter Mechanizing Mathematical Reasoning
Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-25051-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
de Gier / Tao / Praeger 2016 MATRIX Annals
1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-72298-6Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage149,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Girard Typed Lambda Calculi and Applications
4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65763-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Harrison / Aagaard Theorem Proving in Higher Order Logics
13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67863-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rodriguez-Artalejo / Flum Computer Science Logic
13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66536-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Gorbunov Algebraic Theory of Quasivarieties
1998Verlag: Springer USISBN: 978-0-306-11063-4Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Guttmann Polygons, Polyominoes and Polycubes
2009Verlag: Springer NetherlandsISBN: 978-1-4020-9926-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Davis Foundations of Image Understanding
Softcover Nachdruck of the original 1. Auflage 2001Verlag: Springer USISBN: 978-1-4613-5599-1Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Grzymala-Busse Managing Uncertainty in Expert Systems
Softcover Nachdruck of the original 1. Auflage 1991Verlag: Springer USISBN: 978-1-4613-6779-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ershov Constructive Models
Softcover Nachdruck of the original 1. Auflage 2000Verlag: Springer USISBN: 978-1-4613-6932-5Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Reid Hilbert
1. Auflage 1970. 2. printing 1996Verlag: SpringerISBN: 978-0-387-94674-0Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage37,44 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Cartmell Introduction to Linear, Parametric and Non-Linear Vibrations
1990Verlag: Springer NetherlandsISBN: 978-0-412-30730-0Medium: Buch192,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage192,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
D'Agostino / Posegga / Gabbay Handbook of Tableau Methods
1999Verlag: Springer NetherlandsISBN: 978-0-7923-5627-1Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Gilmour / Brümmer Papers in Honour of Bernhard Banaschewski
Proceedings of the BB Fest 96, a Conference Held at the University of Cape Town, 15¿20 July 1996, on Category Theory and its Applications to Topology, Order and Algebra<em>Nachdrucked from APPLIED CATEGORICAL STRUCTURES, 8:1-2 with additional</em> <em>materials</em> 2000Verlag: Springer NetherlandsISBN: 978-0-7923-6519-8Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Intelligent Hybrid Systems
Fuzzy Logic, Neural Networks, and Genetic Algorithms1997Verlag: Springer USISBN: 978-0-7923-9999-5Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Automated Mathematical Induction
<em>Nachdrucked from JOURNAL OF AUTOMATED REASONING 16:1-2, 1996</em> 1996Verlag: Springer NetherlandsISBN: 978-0-7923-4010-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Prisco / Mathias / Larson Set Theory
Techniques and Applications Curaçao 1995 and Barcelona 1996 Conferences1998Verlag: Springer NetherlandsISBN: 978-0-7923-4905-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Di Nola / Sanchez / Sessa Fuzzy Relation Equations and Their Applications to Knowledge Engineering
1. Auflage. Softcover version of original hardcover Auflage 1989Verlag: Springer NetherlandsISBN: 978-90-481-4050-3Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (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