✦ LIBER ✦
Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents
✍ Scribed by Helena Rasiowa
- Book ID
- 103921907
- Publisher
- Elsevier Science
- Year
- 1991
- Tongue
- English
- Weight
- 814 KB
- Volume
- 5
- Category
- Article
- ISSN
- 0888-613X
No coin nor oath required. For personal study only.