The Handbook of Modal Logic contains 20 articles, which collectively introduce contemporary modal...

This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer ...

This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer ...

This book constitutes the proceedings of the Third International Congress on Tools for Teaching L...

This book constitutes the proceedings of the 8th International and Interdisciplinary Conference o...

Whetheryouareacomputerscientist,alogician,aphilosopher,orapsychologist, it is crucial to understa...

This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th Intern...

This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer ...

This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th Int...

Whetheryouareacomputerscientist,alogician,aphilosopher,orapsychologist, it is crucial to understa...

This book constitutes the proceedings of the 8th International and Interdisciplinary Conference o...

O Prolog é uma linguagem de programação, mas uma linguagem pouco usual. A designação 'Prolog'' é ...