Ergebnisse filtern
Fachgebiet
Medium
  • 3
Erscheinungsjahr
  • 2
  • 1
Autoren
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 3
  • 1
Verlag
  • 3
Preis
  • 1
  • 2
Sprachen
  • 3
Verfügbarkeit
  • 3
Katalog
  • 3

Mathematik | Informatik

3  Treffer  für „Schmidt, Renate A.“
Alle Filter löschen
    Schmidt / Nalon | Automated Reasoning with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

    Schmidt / Nalon Automated Reasoning with Analytic Tableaux and Related Methods

    26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-66901-4
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Benzmüller / Heule / Schmidt | Automated Reasoning | Buch | Sack Fachmedien

    Benzmüller / Heule / Schmidt Automated Reasoning

    12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
    2024
    Verlag: Springer
    ISBN: 978-3-031-63500-7
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Benzmüller / Heule / Schmidt | Automated Reasoning | Buch | Sack Fachmedien

    Benzmüller / Heule / Schmidt Automated Reasoning

    12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
    2024
    Verlag: Springer
    ISBN: 978-3-031-63497-0
    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