L'ordinateur : un outil au service du logicien
Les cahiers de l'analyse des données, Tome 15 (1990) no. 3, pp. 323-330. 
@article{CAD_1990__15_3_323_0,
     author = {Gillet, \'E.},
     title = {L'ordinateur : un outil au service du logicien},
     journal = {Les cahiers de l'analyse des donn\'ees},
     pages = {323--330},
     publisher = {Dunod-Gauthier-Villars},
     address = {Paris},
     volume = {15},
     number = {3},
     year = {1990},
     language = {fr},
     url = {http://www.numdam.org/item/CAD_1990__15_3_323_0/}
}
TY  - JOUR
AU  - Gillet, É.
TI  - L'ordinateur : un outil au service du logicien
JO  - Les cahiers de l'analyse des données
PY  - 1990
SP  - 323
EP  - 330
VL  - 15
IS  - 3
PB  - Dunod-Gauthier-Villars
PP  - Paris
UR  - http://www.numdam.org/item/CAD_1990__15_3_323_0/
LA  - fr
ID  - CAD_1990__15_3_323_0
ER  - 
%0 Journal Article
%A Gillet, É.
%T L'ordinateur : un outil au service du logicien
%J Les cahiers de l'analyse des données
%D 1990
%P 323-330
%V 15
%N 3
%I Dunod-Gauthier-Villars
%C Paris
%U http://www.numdam.org/item/CAD_1990__15_3_323_0/
%G fr
%F CAD_1990__15_3_323_0
Gillet, É. L'ordinateur : un outil au service du logicien. Les cahiers de l'analyse des données, Tome 15 (1990) no. 3, pp. 323-330. http://www.numdam.org/item/CAD_1990__15_3_323_0/

R. Fagin & J.Y. Halpern: " Belief, Awareness and Limited Reasoning"; in Artificial Intelligence, 34, 3976; (1988). | MR | Zbl

É. Gillet & P. Gochet: " La logique de la connaissance. Le problème de l'omniscience logique"; à paraître; (1990).

D. Harel: Algorithmics: The Spirit of Computing. Addison-Wesley, Don Mills, Ontario; (1986). | MR | Zbl

G. Lakemeyer & H. J. Levesque: " A Tractable Knowledge Representation Service with Full Introspection"; in Proceedings of the 2nd Conference on Theoretical Aspects of Reasonning about Knowledge, pp. 145-159; (1988). | MR | Zbl

H. J. Levesque: Logic and the complexity of reasoning; in Journal of Philosophical Logic, l7, pp. 355-389; (1988). | MR

L. Stockmeyer: " Classifying the Computational Complexity of Problems"; in Journal of Symbolic Logic, 52.1, pp. 1-43; (1987). | MR | Zbl