L'ordinateur : un outil au service du logicien
Cahiers de l'analyse des données (1990)
- Volume: 15, Issue: 3, page 323-330
- ISSN: 0339-3097
Access Full Article
top
How to cite
topGillet, É.. "L'ordinateur : un outil au service du logicien." Cahiers de l'analyse des données 15.3 (1990): 323-330. <http://eudml.org/doc/88325>.
@article{Gillet1990,
author = {Gillet, É.},
journal = {Cahiers de l'analyse des données},
keywords = {ORD. LOG.},
language = {fre},
number = {3},
pages = {323-330},
publisher = {Dunod-Gauthier-Villars},
title = {L'ordinateur : un outil au service du logicien},
url = {http://eudml.org/doc/88325},
volume = {15},
year = {1990},
}
TY - JOUR
AU - Gillet, É.
TI - L'ordinateur : un outil au service du logicien
JO - Cahiers de l'analyse des données
PY - 1990
PB - Dunod-Gauthier-Villars
VL - 15
IS - 3
SP - 323
EP - 330
LA - fre
KW - ORD. LOG.
UR - http://eudml.org/doc/88325
ER -
References
top- R. FAGIN & J.Y. HALPERN: " Belief, Awareness and Limited Reasoning"; in Artificial Intelligence, 34, 3976; (1988). Zbl0634.03013MR920285
- É. 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). Zbl1116.68112MR913532
- 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). Zbl0725.68101MR1011083
- H. J. LEVESQUE: Logic and the complexity of reasoning; in Journal of Philosophical Logic, l7, pp. 355-389; (1988). MR975623
- L. STOCKMEYER: " Classifying the Computational Complexity of Problems"; in Journal of Symbolic Logic, 52.1, pp. 1-43; (1987). Zbl0639.03041MR877851
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.