Partition syntaxique d'un système logique décrit en CASSANDRE
.
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
1970
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00009474 http://tel.archives-ouvertes.fr/docs/00/04/81/30/PDF/tel-00009474.pdf |