Logique pour l'informatique: introduction à la déduction automatique: Cours et exercices, Licence d'informatique
by
Serenella Cerrito
Poche
details (
France
).
ISBN: 978-2-7117-2069-9
ISBN-10: 2-7117-2069-1
Vuibert
· 2008