Ergebnisse filtern
Fachgebiet
Medium
  • 1496
  • 355
Erscheinungsjahr
  • 6
  • 103
  • 116
  • 94
  • 90
  • 57
  • 74
  • 54
  • 67
  • 73
  • 66
  • 75
  • 58
  • 62
  • 68
  • 75
  • 74
  • 87
  • 55
  • 47
  • 52
  • 49
  • 40
  • 38
  • 37
  • 34
  • 25
  • 29
  • 22
  • 25
  • 19
  • 17
  • 9
  • 9
  • 11
  • 10
  • 10
  • 8
  • 4
  • 2
Autoren
  • 2
  • 9
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 16
  • 2
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 4
  • 8
  • 5
  • 2
  • 5
  • 2
  • 3
  • 9
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 5
  • 2
  • 3
  • 2
  • 3
  • 8
  • 7
  • 2
  • 2
  • 2
  • 3
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 6
  • 3
  • 2
  • 2
  • 3
  • 7
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 4
  • 4
  • 3
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 3
  • 4
  • 5
  • 3
  • 5
  • 2
  • 2
  • 2
  • 11
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 11
  • 3
  • 3
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 13
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 6
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 7
  • 3
  • 19
  • 3
  • 2
  • 2
  • 4
  • 5
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 15
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 4
  • 4
  • 3
  • 2
  • 2
  • 2
  • 7
  • 8
  • 5
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 4
  • 6
  • 2
  • 2
  • 2
  • 16
  • 2
  • 8
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 4
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 12
  • 3
  • 2
  • 2
  • 4
  • 3
  • 6
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 12
  • 3
  • 5
  • 2
  • 2
  • 2
  • 7
  • 8
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 2
  • 4
  • 2
  • 3
  • 4
  • 5
  • 3
  • 2
  • 5
  • 8
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 19
  • 2
  • 6
  • 2
  • 3
  • 4
  • 6
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 2
  • 6
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 15
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 13
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 3
  • 7
  • 2
  • 2
  • 3
  • 2
  • 2
  • 17
  • 8
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 16
  • 2
  • 3
  • 17
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 7
  • 8
  • 12
  • 7
  • 4
  • 8
  • 5
  • 2
  • 2
  • 2
  • 3
  • 25
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 4
  • 6
  • 8
  • 2
  • 4
  • 2
  • 13
  • 2
  • 3
  • 2
  • 2
  • 4
  • 7
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 14
  • 2
  • 2
  • 2
  • 7
  • 6
  • 2
  • 3
  • 2
  • 5
  • 8
  • 3
  • 4
  • 2
  • 5
  • 2
  • 8
  • 10
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 6
  • 4
  • 3
  • 5
  • 2
  • 7
  • 6
  • 5
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 6
  • 3
  • 11
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 4
  • 8
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 23
  • 3
  • 2
  • 2
  • 8
  • 7
  • 5
  • 5
  • 2
  • 5
  • 5
  • 6
  • 2
  • 2
  • 5
  • 7
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 8
  • 3
  • 2
  • 6
  • 5
  • 3
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 8
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 8
  • 4
  • 9
  • 2
  • 5
  • 2
  • 4
  • 4
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 5
  • 20
  • 9
  • 5
  • 14
  • 3
  • 2
  • 7
  • 5
  • 5
  • 4
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 3
  • 6
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 14
  • 3
  • 2
  • 4
  • 15
  • 6
  • 3
  • 2
  • 7
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 7
  • 3
  • 9
  • 3
  • 6
  • 3
  • 13
  • 3
  • 5
  • 3
  • 6
  • 3
  • 4
  • 8
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 8
  • 3
  • 3
  • 7
  • 3
  • 4
  • 3
  • 9
  • 5
  • 5
  • 4
  • 7
  • 7
  • 9
  • 3
  • 3
  • 6
  • 4
  • 3
  • 18
  • 3
  • 3
  • 3
  • 37
  • 11
  • 7
  • 7
  • 3
  • 3
  • 4
  • 12
  • 5
  • 4
  • 6
  • 3
  • 3
  • 3
  • 3
  • 10
  • 5
  • 3
  • 5
  • 6
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 8
  • 9
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 6
  • 4
  • 18
  • 7
  • 3
  • 4
  • 7
  • 3
  • 18
  • 7
  • 5
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 6
  • 4
  • 10
  • 7
  • 5
  • 3
  • 11
  • 3
  • 4
  • 11
  • 6
  • 3
  • 3
  • 4
  • 4
  • 19
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 8
  • 3
  • 3
  • 3
  • 16
  • 6
  • 5
  • 5
  • 5
  • 24
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 3
  • 3
  • 4
  • 14
  • 3
  • 23
  • 4
  • 19
  • 8
  • 3
  • 3
  • 7
  • 4
  • 5
  • 5
  • 3
  • 7
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 12
  • 4
  • 9
  • 3
  • 9
  • 4
  • 7
  • 7
  • 5
  • 3
  • 3
  • 20
  • 7
  • 4
  • 6
  • 5
  • 3
  • 12
  • 3
  • 3
  • 3
  • 6
  • 7
  • 3
  • 11
  • 3
  • 3
  • 3
  • 24
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 4
  • 5
  • 8
  • 3
  • 3
  • 4
  • 3
  • 13
  • 3
  • 9
  • 17
  • 3
  • 8
  • 5
  • 6
  • 4
  • 8
  • 6
  • 4
  • 3
  • 3
  • 16
  • 3
  • 6
  • 5
  • 3
  • 3
  • 3
  • 7
  • 5
  • 3
  • 3
  • 3
  • 10
  • 9
  • 3
  • 3
  • 4
  • 4
  • 3
  • 9
  • 4
  • 6
  • 3
  • 9
  • 3
  • 3
  • 8
  • 4
  • 4
  • 3
  • 5
  • 4
  • 4
  • 3
  • 5
  • 6
  • 3
  • 3
  • 6
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 6
  • 3
  • 5
  • 6
  • 7
  • 4
  • 4
  • 3
  • 5
  • 7
  • 3
  • 4
  • 4
  • 4
  • 4
  • 4
  • 3
  • 4
  • 10
  • 3
  • 7
  • 4
  • 3
  • 10
  • 5
  • 5
  • 5
  • 3
  • 7
  • 5
  • 7
  • 3
  • 4
  • 3
  • 6
  • 8
  • 3
  • 6
  • 11
  • 3
  • 6
  • 4
  • 6
  • 6
  • 6
  • 3
  • 8
  • 3
  • 6
  • 3
  • 9
  • 5
  • 3
  • 4
  • 11
  • 5
  • 3
  • 5
  • 8
  • 5
  • 4
  • 3
  • 22
Verlag
  • 2
  • 1571
  • 232
  • 1
  • 2
  • 2
  • 29
  • 3
  • 9
Preis
  • 50
  • 1464
  • 337
Sprachen
  • 1851
Verfügbarkeit
  • 1824
  • 27
Eigenschaften
  • 6
Katalog
  • 1851
  • 97
1.851  Treffer  für „Lecture Notes in Artificial Intelligence“
    Barrett / Waldmann | Automated Deduction - CADE 30 | Buch | Sack Fachmedien

    Barrett / Waldmann Automated Deduction - CADE 30

    30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-99983-3
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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