𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Algorithms for automated deduction of topological information

✍ Scribed by Tang-Hung Nguyen; Amr A. Oloufa; Khaled Nassar


Book ID
108068659
Publisher
Elsevier Science
Year
2005
Tongue
English
Weight
339 KB
Volume
14
Category
Article
ISSN
0926-5805

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


[Lecture Notes in Computer Science] Auto
✍ Ganzinger, Harald πŸ“‚ Article πŸ“… 1999 πŸ› Springer Berlin Heidelberg 🌐 German βš– 213 KB

This Book Constitutes The Refereed Proceedings Of The 16th International Conference On Automated Deduction, Cade-16, Held In Trento, Italy In July 1999 As Part Of Floc'99. The 21 Revised Full Papers Presented Were Carefully Reviewed And Selected From A Total Of 83 Submissions. Also Included Are 15 S