One hunderd prisoners and a lightbulb --- logic and computation

Type de document :
Communication dans un congrès
F. Lin and U. Sattler. Proceedings of KR 2010, Jan 2010, Toronto, Canada. AAAI Press, 2010
Liste complète des métadonnées

https://hal.inria.fr/inria-00537127
Contributeur : Jurgen Vinju <>
Soumis le : mercredi 17 novembre 2010 - 16:53:46
Dernière modification le : mardi 24 avril 2018 - 15:48:18

Identifiants

  • HAL Id : inria-00537127, version 1

Collections

Citation

Hans Van Ditmarsch, Jan Van Eijck, William Wu. One hunderd prisoners and a lightbulb --- logic and computation. F. Lin and U. Sattler. Proceedings of KR 2010, Jan 2010, Toronto, Canada. AAAI Press, 2010. 〈inria-00537127〉

Partager

Métriques

Consultations de la notice

105