Informatique théorique: logique et démonstration automatique : introducti… by Lafourcade, Pascal, Desvismes, Stéphane, Lévy, Michel fromTechnosup 0 Type: Book