Skip to Main content Skip to Navigation
Theses

Méthodes de schématisation pour la démonstration automatique

Abstract : Not available
Document type :
Theses
File URL :
http://docnum.univ-lorraine.fr/prive/SCD_T_1996_0092_AMANISS.pdf
Complete list of metadata

https://hal.univ-lorraine.fr/tel-01747757
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 11:09:19 AM
Last modification on : Friday, February 26, 2021 - 3:26:01 PM

Identifiers

  • HAL Id : tel-01747757, version 1

Collections

Citation

Ali Amaniss. Méthodes de schématisation pour la démonstration automatique. Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1996. Français. ⟨NNT : 1996NAN10092⟩. ⟨tel-01747757⟩

Share

Metrics

Record views

46