Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1
  • Bild 2

Mechanizing Mathematical Reasoning | Werner Stephan (u. a.) | Taschenbuch | x

97,95 €

Jetzt bei Ebay:

Zum Angebot *
  • Buchtitel:
    Mechanizing Mathematical Reasoning
  • Autor:
    Werner Stephan
  • Sprache:
    Englisch
  • Erscheinungsjahr:
    2005
  • Anzahl der Seiten:
    580
  • Marke:
    Springer Berlin, Springer Berlin Heidelberg
  • Hersteller:
    Springer Berlin, Springer Berlin Heidelberg
  • Herstellernummer:
    11399056
  • Verlag:
    Springer Berlin, Springer Berlin Heidelberg
  • Format:
    Taschenbuch
  • Genre:
    Mathematik, Naturwissenschaften, Technik, Medizin
  • Ausgabe:
    2005
  • Titelzusatz:
    Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th B
  • Schlagworte:
    Informatik, Mathematik: Logik, EDV, Intelligenz, Künstliche Intel
  • Redaktion:
    Werner Stephan
  • Herstellungsland und -region:
    Deutschland
  • ISBN:
    3540250514
  • Standardversand:
    Deutsche Post Brief kostenlos - Lieferung zwischen 28. May 2025 und 31. May 2025 (bei heutigem Zahlungseingang)
  • Standardversand:
    DHL Paket 2,00 EUR - Lieferung zwischen 26. May 2025 und 30. May 2025 (bei heutigem Zahlungseingang)
  • Versand nach:
    Deutschland
  • Versand ausgeschlossen:
    Afrika , Asien , Mittelamerika und Karibik , Dänemark , Schweiz , Vatikan , Moldawien , Republik Kroatien , Portugal , Malta , ... und weitere