Logique pour l'informatique: introduction à la déduction automatique: Cours et exercices, Licence d'informatique

introduction

by Serenella Cerrito

Poche

ISBN: 978-2-7117-2069-9

ISBN-10: 2-7117-2069-1

Vuibert · 2008