E thomas schubert u a (1 résultats)

Auteur: 
Affiner les résultats avec une recherche avancée

Affiner la recherche

  • Livres (1)

  • Neuf (1)
En savoir plus

à

Fourchette de prix personnalisée (EUR)

à

    • Autres images

      Langue : anglais

      Edité par Springer, 1995

      3540602755 / 9783540602750

      • Couverture souple
      • impression à la demande

      Vendeur : preigu, Osnabrück, Allemagnepreigu

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

      Etat: Neuf

      EUR 50,25

      EUR 70,00 expédition 
      Expédition depuis Allemagne vers Etats-Unis

      Quantité disponible : 5 disponible(s)

      Taschenbuch. Etat : Neu. Higher Order Logic Theorem Proving and Its Applications | 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings | E. Thomas Schubert (u. a.) | Taschenbuch | viii | Englisch | 1995 | Springer | EAN 9783540602750 | Verantwortliche Person für die EU: Springer Verlag GmbH, Ti…