Transcription des réseaux de Petri dans le système FoCaLiZe
dc.contributor.author | Boubezari, Abderrahim | |
dc.date.accessioned | 2015-04-07T10:33:53Z | |
dc.date.available | 2015-04-07T10:33:53Z | |
dc.date.issued | 2012 | |
dc.description | 77 p. : ill. ; 30 cm. (+ CD-Rom) | fr_FR |
dc.identifier.uri | http://hdl.handle.net/123456789/2460 | |
dc.language.iso | fr | fr_FR |
dc.subject | Pétri, Réseaux de : Transcription | fr_FR |
dc.subject | Méthodes formelles (informatique) | fr_FR |
dc.subject | Logique du premier ordre | fr_FR |
dc.subject | Théorèmes : Démonstration automatique | fr_FR |
dc.subject | Logique mathématique | fr_FR |
dc.title | Transcription des réseaux de Petri dans le système FoCaLiZe | fr_FR |
dc.type | Thesis | fr_FR |