Liebe Besucherinnen und Besucher,

aufgrund unseres Sommerfestes sind wir am 03. September 2026 bis 14 Uhr erreichbar. Am 04. September 2026 sind wir wieder wie gewohnt für Sie da. Vielen Dank für Ihr Verständnis.

Ihr Team von Sack Fachmedien

Ergebnisse filtern
Fachgebiet
Medium
  • 1
Erscheinungsjahr
  • 1
Autoren
  • 1
  • 3
  • 3
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 3
  • 3
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 3
  • 3
  • 1
  • 1
  • 1
  • 3
  • 3
  • 3
  • 3
  • 2
  • 1
  • 3
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 3
  • 1
  • 3
  • 3
  • 3
  • 3
  • 3
  • 1
  • 1
  • 1
  • 3
  • 3
  • 3
  • 3
  • 3
  • 1
  • 1
  • 3
  • 1
  • 3
  • 1
  • 3
  • 1
  • 3
  • 1
  • 2
  • 3
  • 3
  • 3
  • 3
  • 1
  • 3
  • 3
  • 1
  • 3
  • 3
  • 3
  • 3
  • 3
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 3
  • 1
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 3
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 1
  • 1
  • 3
  • 3
  • 3
  • 1
  • 3
  • 3
  • 3
  • 1
  • 3
  • 3
  • 3
  • 3
  • 1
  • 3
  • 3
  • 1
  • 3
  • 3
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 3
  • 3
  • 3
  • 1
  • 3
  • 1
  • 8
  • 3
  • 2
  • 3
  • 1
  • 2
  • 1
  • 3
  • 1
  • 3
  • 3
  • 3
  • 3
  • 1
  • 1
  • 3
  • 3
  • 3
  • 3
  • 3
  • 1
  • 3
  • 1
  • 1
  • 3
  • 2
  • 1
  • 3
  • 3
  • 1
  • 3
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 3
  • 3
  • 3
  • 3
  • 1
  • 3
  • 1
  • 1
  • 3
  • 3
  • 3
  • 3
  • 3
  • 1
  • 1
  • 3
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 3
  • 1
  • 1
  • 3
  • 3
  • 3
  • 1
  • 3
  • 3
  • 1
  • 3
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 3
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 2
Verlag
  • 1
Preis
  • 1
Sprachen
  • 1
Verfügbarkeit
  • 1
Katalog
  • 1
1  Treffer  für „Ritter, Eike“
    Pym / Ritter | Reductive Logic and Proof-Search | Buch | Sack Fachmedien

    Pym / Ritter Reductive Logic and Proof-Search

    Proof Theory, Semantics, and Control
    Erscheinungsjahr 2004
    Verlag: OUP Oxford
    ISBN: 978-0-19-852633-9
    Medium: Buch
    231,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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