9783860255476 - deduktionssysteme von socher-ambrosius, rolf (1 Ergebnisse)

ISBN: 
Mit der Detailsuche verfeinern

Optimieren Sie Ihre Suche

  • Bücher (1)

Mehr dazu

bis

Benutzerdefinierte Preisspanne (EUR)

bis

    • Sprache: Deutsch

      Verlag: DUNKER & NELLISSEN, 1994

      3860255479 / 9783860255476

      • Softcover

      Anbieter: Martin Preuß / Akademische Buchhandlung Woetzel, Kerzenheim, DeutschlandMartin Preuß / Akademische Buchhandlung Woetzel

      Verkäufer/-in mit 5 Sternen
      Verkäufer/-in kontaktieren

      Verbandsmitglied: BOEV

      Zustand: Gebraucht - Wie neu

      EUR 7,60

      EUR 15,90 Versand 
      Versand von Deutschland nach USA

      Anzahl: 1 verfügbar

      04. Zustand: Wie neu. 1994. 186 S., flex.kart. In diesem Buch werden die grundlegenden Konzepte und Methoden des automatischen Beweisens für die klassische Logik erster Stufe ohne Gleichheit dargestellt. Die konsequente Orientierung an abstrakten Inferenzsystemen hat den Vorteil, daß die logische Str Sprache: Deutsch.