ISBN: 9783860255476 - deduktionssysteme (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 disponible

    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.…