Résultat(s) 1 - 1 résultats de 1 pour la requête 'Gallier, Jean H; Author', Temps de recherche: 0,00s Affiner les résultats
  1. 1
    Logic for computer science: foundations of automatic theorem proving
    par Gallier, Jean H; Author
    Publié 1987
    Printed Book
Outils de recherche: S'abonner aux flux RSS — Envoyer cette recherche par courriel