Electronic Books

Total Books: 1 - 3 /3
978-1-4020-6324-4
Handbook of Philosophical Logic

I would like to take this opportunity to put forward my current views about logic in computer science, computational linguistics ...

Continue reading
978-3-540-30597-2
Inconsistency Tolerance

Inconsistency arises in many areas in advanced computing. Often inconsistency is unwanted, for example in the specification ...

Continue reading
978-3-540-89437-7
Software-Intensive Systems and New Computing Paradigms : Challenges and Visions

The objective was to imagine the landscape in which next generations of software-intensive systems will operate and the challenges ...

Continue reading
Total Books: 1 - 3 /3