Ergebnisse filtern
Fachgebiet
Medium
  • 13163
  • 1833
  • 264
  • 33
Erscheinungsjahr
  • 4
  • 227
  • 430
  • 498
  • 703
  • 522
  • 570
  • 686
  • 667
  • 755
  • 689
  • 570
  • 621
  • 524
  • 548
  • 609
  • 685
  • 440
  • 650
  • 248
  • 299
  • 206
  • 228
  • 206
  • 182
  • 217
  • 182
  • 183
  • 175
  • 147
  • 155
  • 147
  • 134
  • 121
  • 126
  • 109
  • 99
  • 70
  • 68
  • 51
  • 54
  • 41
  • 35
  • 33
  • 31
  • 37
  • 21
  • 41
  • 38
  • 32
  • 28
  • 29
  • 28
  • 25
  • 32
  • 27
  • 22
  • 41
  • 27
  • 16
  • 15
  • 24
  • 8
  • 15
  • 10
  • 11
  • 11
  • 9
  • 12
  • 4
  • 11
  • 11
  • 7
  • 7
  • 4
  • 8
  • 8
  • 10
  • 9
Autoren
  • 3
  • 4
  • 4
  • 4
  • 8
  • 3
  • 3
  • 4
  • 3
  • 8
  • 3
  • 3
  • 5
  • 4
  • 7
  • 3
  • 3
  • 3
  • 3
  • 11
  • 4
  • 4
  • 6
  • 3
  • 5
  • 3
  • 3
  • 4
  • 7
  • 4
  • 4
  • 4
  • 15
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 6
  • 5
  • 3
  • 4
  • 3
  • 6
  • 4
  • 6
  • 4
  • 3
  • 6
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 19
  • 4
  • 4
  • 4
  • 3
  • 3
  • 7
  • 6
  • 4
  • 6
  • 8
  • 7
  • 20
  • 8
  • 3
  • 4
  • 4
  • 4
  • 3
  • 7
  • 5
  • 3
  • 8
  • 4
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 4
  • 3
  • 4
  • 3
  • 5
  • 41
  • 5
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 10
  • 5
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 6
  • 6
  • 4
  • 4
  • 3
  • 4
  • 5
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 14
  • 11
  • 3
  • 3
  • 5
  • 3
  • 7
  • 3
  • 6
  • 4
  • 7
  • 7
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 39
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 11
  • 17
  • 4
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 28
  • 3
  • 4
  • 6
  • 3
  • 6
  • 7
  • 3
  • 4
  • 3
  • 3
  • 3
  • 8
  • 3
  • 7
  • 8
  • 8
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 3
  • 6
  • 4
  • 4
  • 4
  • 4
  • 13
  • 4
  • 3
  • 44
  • 4
  • 6
  • 5
  • 3
  • 3
  • 3
  • 4
  • 7
  • 14
  • 3
  • 3
  • 7
  • 4
  • 4
  • 4
  • 3
  • 5
  • 7
  • 3
  • 9
  • 8
  • 4
  • 3
  • 3
  • 3
  • 15
  • 20
  • 6
  • 5
  • 4
  • 7
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 11
  • 5
  • 5
  • 3
  • 6
  • 6
  • 4
  • 3
  • 5
  • 6
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 6
  • 4
  • 4
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 12
  • 3
  • 8
  • 7
  • 3
  • 3
  • 5
  • 6
  • 3
  • 3
  • 4
  • 3
  • 3
  • 9
  • 3
  • 4
  • 5
  • 4
  • 4
  • 12
  • 4
  • 3
  • 3
  • 4
  • 9
  • 3
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 4
  • 8
  • 3
  • 5
  • 6
  • 3
  • 6
  • 8
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 9
  • 3
  • 8
  • 9
  • 4
  • 11
  • 3
  • 5
  • 7
  • 5
  • 10
  • 4
  • 6
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 5
  • 3
  • 5
  • 3
  • 6
  • 3
  • 3
  • 3
  • 4
  • 3
  • 6
  • 4
  • 3
  • 5
  • 4
  • 3
  • 4
  • 5
  • 4
  • 3
  • 5
  • 5
  • 3
  • 5
  • 3
  • 5
  • 4
  • 11
  • 3
  • 3
  • 6
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 4
  • 9
  • 29
  • 5
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 6
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 7
  • 4
  • 16
  • 7
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 10
  • 10
  • 3
  • 4
  • 9
  • 4
  • 8
  • 3
  • 6
  • 13
  • 10
  • 5
  • 5
  • 5
  • 3
  • 6
  • 4
  • 7
  • 3
  • 4
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 12
  • 5
  • 4
  • 7
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 10
  • 3
  • 3
  • 6
  • 3
  • 16
  • 9
  • 9
  • 5
  • 5
  • 3
  • 3
  • 3
  • 12
  • 3
  • 3
  • 6
  • 3
  • 5
  • 6
  • 4
  • 9
  • 12
  • 5
  • 25
  • 8
  • 4
  • 3
  • 3
  • 4
  • 49
  • 10
  • 4
  • 4
  • 6
  • 11
  • 4
  • 4
  • 7
  • 4
  • 13
  • 4
  • 7
  • 4
  • 6
  • 4
  • 3
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 8
  • 3
  • 4
  • 6
  • 5
  • 51
  • 4
  • 3
  • 4
  • 14
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 10
  • 10
  • 6
  • 7
  • 14
  • 4
  • 4
  • 5
  • 10
  • 9
  • 4
  • 8
  • 24
  • 5
  • 3
  • 3
  • 3
  • 5
  • 14
  • 12
  • 4
  • 7
  • 4
  • 7
  • 4
  • 4
  • 3
  • 5
  • 4
  • 14
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 4
  • 11
  • 3
  • 3
  • 8
  • 10
  • 33
  • 3
  • 3
  • 3
  • 6
  • 7
  • 55
  • 4
  • 16
  • 3
  • 11
  • 4
  • 14
  • 3
  • 5
  • 11
  • 4
  • 4
  • 4
  • 9
  • 4
  • 5
  • 4
  • 4
  • 4
  • 5
  • 4
  • 5
  • 4
  • 27
  • 4
  • 4
  • 9
  • 4
  • 5
  • 6
  • 4
  • 14
  • 5
  • 4
  • 41
  • 4
  • 6
  • 4
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 4
  • 4
  • 6
  • 8
  • 4
  • 5
  • 5
  • 7
  • 8
  • 4
  • 9
  • 8
  • 4
  • 8
  • 4
  • 12
  • 20
  • 4
  • 4
  • 4
  • 5
  • 4
  • 4
  • 7
  • 5
  • 4
  • 19
  • 11
  • 6
  • 4
  • 9
  • 7
  • 11
  • 4
  • 5
  • 10
  • 4
  • 4
  • 57
  • 4
  • 5
  • 5
  • 5
  • 4
  • 5
  • 4
  • 7
  • 5
  • 7
  • 4
  • 5
  • 4
  • 14
  • 5
  • 7
  • 5
  • 4
  • 9
  • 4
  • 4
  • 5
  • 4
  • 4
  • 28
  • 8
  • 8
  • 8
  • 4
  • 9
  • 15
  • 7
  • 4
  • 4
  • 9
  • 4
  • 10
  • 5
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 6
  • 4
  • 4
  • 4
  • 5
  • 17
  • 11
  • 5
  • 6
  • 5
  • 6
  • 7
  • 4
  • 9
  • 7
  • 8
  • 4
  • 35
  • 4
  • 4
  • 4
  • 19
  • 55
  • 4
  • 8
  • 4
  • 9
  • 14
  • 4
  • 16
  • 4
  • 5
  • 18
  • 5
  • 11
  • 21
  • 9
  • 4
  • 5
  • 6
  • 4
  • 5
  • 7
  • 5
  • 9
  • 53
  • 5
  • 5
  • 6
  • 5
  • 4
  • 4
  • 5
  • 6
  • 4
  • 10
  • 7
  • 39
  • 5
  • 11
  • 7
  • 7
  • 5
  • 4
  • 9
  • 9
  • 5
  • 4
  • 6
  • 4
  • 10
  • 11
  • 6
  • 4
  • 4
  • 4
  • 7
  • 9
  • 9
  • 5
  • 10
  • 4
  • 5
  • 5
  • 4
  • 11
  • 6
  • 5
  • 5
  • 6
  • 47
  • 6
  • 6
  • 26
  • 6
  • 19
  • 4
  • 7
  • 6
  • 18
  • 5
  • 5
  • 10
  • 6
  • 4
  • 13
  • 35
  • 9
  • 22
  • 5
  • 7
  • 4
  • 16
  • 19
  • 12
  • 4
  • 9
  • 4
  • 5
  • 4
  • 5
  • 4
  • 5
  • 15
  • 4
  • 4
  • 8
  • 8
  • 7
  • 4
  • 6
  • 44
  • 14
  • 7
  • 4
  • 5
  • 8
  • 4
  • 6
  • 4
  • 4
  • 15
  • 7
  • 6
  • 4
  • 9
  • 5
  • 7
  • 13
  • 7
  • 8
  • 10
  • 6
  • 4
  • 10
  • 6
  • 13
  • 4
  • 9
  • 6
  • 10
  • 9
  • 4
  • 4
  • 11
  • 6
  • 4
  • 16
  • 14
  • 4
  • 5
  • 12
  • 6
  • 9
  • 11
  • 4
  • 5
  • 5
  • 4
  • 4
  • 4
  • 9
  • 6
  • 6
  • 6
  • 8
  • 5
  • 4
  • 4
  • 4
  • 5
  • 8
  • 4
  • 4
  • 5
  • 7
  • 4
  • 5
  • 8
  • 6
  • 5
  • 9
  • 18
  • 5
  • 4
  • 4
  • 9
  • 13
  • 8
  • 11
  • 5
  • 4
  • 5
  • 4
  • 16
  • 5
  • 12
  • 7
  • 15
  • 5
  • 19
  • 4
  • 5
  • 8
  • 53
  • 4
  • 14
  • 4
  • 4
  • 6
  • 6
  • 7
  • 4
  • 11
  • 16
  • 5
  • 11
  • 9
  • 4
  • 4
  • 4
  • 25
  • 19
  • 4
  • 16
  • 6
  • 10
  • 36
  • 22
  • 8
  • 4
  • 7
  • 19
  • 6
  • 4
  • 8
  • 5
  • 4
  • 4
  • 4
  • 14
  • 4
  • 5
  • 5
  • 4
  • 4
  • 5
  • 4
  • 4
  • 4
  • 15
Verlag
  • 119
  • 5
  • 3
  • 66
  • 13
  • 4
  • 4
  • 1
  • 1
  • 2
  • 2
  • 203
  • 11
  • 7
  • 1
  • 13
  • 2
  • 2
  • 2
  • 1
  • 27
  • 1
  • 6
  • 2
  • 598
  • 12
  • 33
  • 15
  • 1
  • 1
  • 2
  • 1
  • 1
  • 46
  • 11
  • 4
  • 1
  • 63
  • 1
  • 5
  • 2
  • 7
  • 1039
  • 36
  • 1
  • 2
  • 573
  • 2
  • 3
  • 1
  • 4
  • 2
  • 5
  • 3
  • 7
  • 790
  • 2041
  • 1
  • 2
  • 1
  • 8
  • 1
  • 1
  • 2
  • 1
  • 8
  • 1
  • 9
  • 4
  • 1
  • 4
  • 1
  • 2
  • 40
  • 63
  • 1
  • 7
  • 1
  • 4
  • 7
  • 1
  • 1
  • 1
  • 32
  • 13
  • 2
  • 2
  • 4
  • 1
  • 1
  • 24
  • 44
  • 6
  • 4
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 17
  • 1
  • 1
  • 20
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 6
  • 1
  • 3
  • 2
  • 1
  • 8
  • 5
  • 1
  • 1
  • 3
  • 14
  • 1
  • 1
  • 2
  • 2
  • 10
  • 1
  • 9
  • 18
  • 2
  • 65
  • 1
  • 6
  • 7
  • 2
  • 3
  • 1
  • 12
  • 1
  • 1
  • 2
  • 12
  • 1
  • 5
  • 2
  • 5
  • 33
  • 7
  • 47
  • 7
  • 3
  • 2
  • 1
  • 8
  • 5
  • 5
  • 4
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 3
  • 12
  • 1
  • 3
  • 12
  • 2
  • 1
  • 1
  • 244
  • 7
  • 4
  • 1
  • 38
  • 354
  • 19
  • 2
  • 31
  • 21
  • 15
  • 1
  • 2
  • 2
  • 2
  • 2
  • 6
  • 1
  • 39
  • 20
  • 8
  • 3
  • 1
  • 89
  • 1
  • 1
  • 4
  • 2
  • 3
  • 1
  • 9
  • 2
  • 169
  • 2
  • 5
  • 1
  • 2
  • 2
  • 3
  • 8
  • 3
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 8
  • 1
  • 21
  • 9
  • 5852
  • 15
  • 19
  • 1
  • 4
  • 1
  • 7
  • 4
  • 3
  • 45
  • 121
  • 56
  • 49
  • 14
  • 4
  • 30
  • 1
  • 1
  • 4
  • 1
  • 11
  • 5
  • 1
  • 1
  • 1
  • 495
  • 67
  • 239
  • 77
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 14
  • 1
  • 2
  • 1
  • 1
  • 3
  • 2
  • 1
  • 2
  • 1
  • 2
  • 12
  • 2
  • 1
  • 1
  • 2
  • 1
  • 29
  • 1
  • 1
  • 2
  • 152
  • 6
  • 8
  • 1
  • 4
  • 2
  • 1
  • 3
  • 1
  • 67
  • 1
  • 3
  • 1
  • 1
  • 3
  • 7
  • 14
  • 3
  • 43
  • 2
  • 1
  • 1
  • 2
  • 2
Preis
  • 751
  • 1980
  • 4624
  • 7938
Sprachen
  • 12044
  • 3030
  • 273
  • 71
  • 67
  • 22
  • 14
  • 5
  • 4
  • 4
Verfügbarkeit
  • 14610
  • 683
Eigenschaften
  • 25
  • 1
Katalog
  • 15293
  • 597
15.293  Titel
    Mayrhofer | Über den Zusammenhang der additiven Inhalts- und Maßtheorien | Buch | Sack Fachmedien

    Mayrhofer Über den Zusammenhang der additiven Inhalts- und Maßtheorien

    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-7091-3961-5
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lakatos | Mathematik, empirische Wissenschaft und Erkenntnistheorie | Buch | Sack Fachmedien

    Lakatos Mathematik, empirische Wissenschaft und Erkenntnistheorie

    Erscheinungsjahr 1982
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-528-08430-1
    Medium: Buch
    59,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Olaru / Cushing / Elaydi | Difference Equations, Discrete Dynamical Systems and Applications | Buch | Sack Fachmedien

    Olaru / Cushing / Elaydi Difference Equations, Discrete Dynamical Systems and Applications

    IDCEA 2022, Gif-sur-Yvette, France, June 18-22
    2024
    Verlag: Springer
    ISBN: 978-3-031-51048-9
    Medium: Buch
    235,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karp | Advances In The History Of Mathematics Education | Buch | Sack Fachmedien

    Karp Advances In The History Of Mathematics Education

    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-95237-2
    Medium: Buch
    181,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Milne | Infinite Families of Exact Sums of Squares Formulas, Jacobi Elliptic Functions, Continued Fractions, and Schur Functions | Buch | Sack Fachmedien

    Milne Infinite Families of Exact Sums of Squares Formulas, Jacobi Elliptic Functions, Continued Fractions, and Schur Functions

    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-1-4020-0491-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beeler | How to Count | Buch | Sack Fachmedien

    Beeler How to Count

    An Introduction to Combinatorics and Its Applications
    Softcover Nachdruck of the original 1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-35508-5
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Glodeanu / Kaytoue / Sacarea | Formal Concept Analysis | Buch | Sack Fachmedien

    Glodeanu / Kaytoue / Sacarea Formal Concept Analysis

    12th International Conference, ICFCA 2014, Cluj-Napoca, Romania , June 10-13, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-07247-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alps | A.P. Morse's Set Theory and Analysis | Buch | Sack Fachmedien

    Alps A.P. Morse's Set Theory and Analysis

    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-05354-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bonner | Change and Continuity in Early Modern Cosmology | Buch | Sack Fachmedien

    Bonner Change and Continuity in Early Modern Cosmology

    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-94-007-3437-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pearce / Wagner | Logics in AI | Buch | Sack Fachmedien

    Pearce / Wagner Logics in AI

    European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55887-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Habel | Hyperedge Replacement: Grammars and Languages | Buch | Sack Fachmedien

    Habel Hyperedge Replacement: Grammars and Languages

    1. Auflage 1992
    Verlag: Springer
    ISBN: 978-3-540-56005-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brewka / Jantke / Schmitt | Nonmonotonic and Inductive Logic | Buch | Sack Fachmedien

    Brewka / Jantke / Schmitt Nonmonotonic and Inductive Logic

    Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56433-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bochmann / Probst | Computer Aided Verification | Buch | Sack Fachmedien

    Bochmann / Probst Computer Aided Verification

    Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56496-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bezem / Groote | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Bezem / Groote Typed Lambda Calculi and Applications

    International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56517-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weber / Simons / Lafontaine | The Generic Development Language Deva | Buch | Sack Fachmedien

    Weber / Simons / Lafontaine The Generic Development Language Deva

    Presentation and Case Studies
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57335-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brookes / Main / Melton | Mathematical Foundations of Programming Semantics | Buch | Sack Fachmedien

    Brookes / Main / Melton Mathematical Foundations of Programming Semantics

    9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58027-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clarke / Kruse / Moral | Symbolic and Quantitative Approaches to Reasoning and Uncertainty | Buch | Sack Fachmedien

    Clarke / Kruse / Moral Symbolic and Quantitative Approaches to Reasoning and Uncertainty

    European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57395-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bundy | Automated Deduction - CADE-12 | Buch | Sack Fachmedien

    Bundy Automated Deduction - CADE-12

    12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58156-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baumgartner / Hähnle / Posegga | Theorem Proving with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

    Baumgartner / Hähnle / Posegga Theorem Proving with Analytic Tableaux and Related Methods

    4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-59338-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Melham / Camilleri | Higher Order Logic Theorem Proving and Its Applications | Buch | Sack Fachmedien

    Melham / Camilleri Higher Order Logic Theorem Proving and Its Applications

    7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58450-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    McCune / Padmanabhan | Automated Deduction in Equational Logic and Cubic Curves | Buch | Sack Fachmedien

    McCune / Padmanabhan Automated Deduction in Equational Logic and Cubic Curves

    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61398-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nardi | Amongst Mathematicians | Buch | Sack Fachmedien

    Nardi Amongst Mathematicians

    Teaching and Learning Mathematics at University Level
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-0-387-37141-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bouquet / Serafini / Brézillon | Modeling and Using Context | Buch | Sack Fachmedien

    Bouquet / Serafini / Brézillon Modeling and Using Context

    Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 9-11, 1999, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66432-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paulson | Isabelle | Buch | Sack Fachmedien

    Paulson Isabelle

    A Generic Theorem Prover
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58244-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Adleman / Huang | Algorithmic Number Theory | Buch | Sack Fachmedien

    Adleman / Huang Algorithmic Number Theory

    First International Symposium, ANTS-I, Ithaca, NY, USA, May 6 - 9, 1994. Proceedings
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58691-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular