Electronic Books

Total Books: 2/2
978-3-540-45459-5
Computer Science Logic (vol. # 4207)

Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational ...

Read more
978-3-540-31784-5
Foundations of Information and Knowledge Systems

This book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge ...

Read more
Total Books: 2/2