Livres en français

De Stéphane Desvismes

1 résultats

Informatique théorique : logique et démonstration automatique : introductio