Contribution au raisonnement temporel : application aux systèmes de maintien de vérité

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

https://hal.univ-lorraine.fr/tel-01753717
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 4:47:35 PM
Last modification on : Tuesday, January 29, 2019 - 1:21:55 AM

Identifiers

  • HAL Id : tel-01753717, version 1

Collections

Citation

Maroua Bouzid. Contribution au raisonnement temporel : application aux systèmes de maintien de vérité. Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1995. Français. ⟨NNT : 1995NAN10337⟩. ⟨tel-01753717⟩

Share

Metrics

Record views

6