A class of theory-decidable inference systems
Tableau d’honneur de la Faculté des études supérieures et postdoctorales, 2004-2005 === Dans les deux dernières décennies, l’Internet a apporté une nouvelle dimension aux communications. Il est maintenant possible de communiquer avec n’importe qui, n’importe où, n’importe quand et ce, en quelques se...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Dissertation |
| Language: | English |
| Published: |
Université Laval
2005
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/20.500.11794/19426 |