Course notes

 

 

 

. Proofs in theories, MPRI.
. Démonstration automatique, École Nationale Supérieure de Techniques Avancées.
back to home page