[ACM Press the 4th ACM SIGACT-SIGPLAN symposium - Los Angeles, California (1977.01.17-1977.01.19)] Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '77 - Social processes and proofs of theorems and programs
- 作者DeMillo, Richard A.; Lipton, Richard J.; Perlis, Alan J.
- 文件大小725.91KB
- 发表时间1977
- DOI10.1145/512950.512970
- 页码206-214
同作者推荐
[ACM Press the 10th international conference - Bologna, Italy (2005.06.06-2005.06.11)] Proceedings of the 10th international conference on Artificial intelligence and law - ICAIL '05 - Voting in online deliberative assembliesPitt, Jeremy; Kamara, Lloyd; Sergot, Marek; Artikis, Alexander · 2005
[ACM Press the fourth international joint conference - The Netherlands (2005.07.25-2005.07.29)] Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems - AAMAS '05 - Formalization of a voting protocol for virtual organizationsPitt, Jeremy; Kamara, Lloyd; Sergot, Marek; Artikis, Alexander · 2005