9783860255476 - deduktionssysteme de socher-ambrosius, rolf (1 resultados)

ISBN: 
Refinar con la Búsqueda avanzada

Filtrar la búsqueda

  • Libros (1)

Más información

a

Intervalo de precios personalizado (EUR)

a

    • Idioma: Alemán

      Editorial: DUNKER & NELLISSEN, 1994

      3860255479 / 9783860255476

      • Tapa blanda

      Librería: Martin Preuß / Akademische Buchhandlung Woetzel, Kerzenheim, AlemaniaMartin Preuß / Akademische Buchhandlung Woetzel

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Miembro de asociación: BOEV

      Condición: Usado - Como Nuevo

      EUR 7,60

      Envío por EUR 15,90 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 1 disponibles

      04. Condición: 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.