Socher, r (2 résultats)

Affiner la recherche

  • Livres (2)

à

Fourchette de prix personnalisée (EUR)

à

  • Langue : allemand

    Edité par BI Mannheim

    3411171715 / 9783411171712

    • Couverture souple

    Vendeur : Martin Preuß / Akademische Buchhandlung Woetzel, Kerzenheim, AllemagneMartin Preuß / Akademische Buchhandlung Woetzel

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Membre d’une association professionnelle : BOEV

    Etat: Occasion - Comme neuf

    EUR 3,80

    EUR 15,90 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 1 disponible(s)

    03. Etat : Wie neu. 1994. 186 S. Sprache: Deutsch.

  • Langue : allemand

    Edité par DUNKER & NELLISSEN, 1994

    3860255479 / 9783860255476

    • Couverture souple

    Vendeur : Martin Preuß / Akademische Buchhandlung Woetzel, Kerzenheim, AllemagneMartin Preuß / Akademische Buchhandlung Woetzel

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Membre d’une association professionnelle : BOEV

    Etat: Occasion - Comme neuf

    EUR 7,60

    EUR 15,90 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 1 disponible(s)

    04. Etat : 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.