This book constitutes the proceedings of the Third International Congress on Tools for Teaching L...
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 LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th Intern...
This book constitutes the proceedings of the 8th International and Interdisciplinary Conference o...
The Handbook of Modal Logic contains 20 articles, which collectively introduce contemporary modal...
The refereed proceedings of the 4th International and Interdisciplinary Conference on Modeling an...
This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer ...
O Prolog é uma linguagem de programação, mas uma linguagem pouco usual. A designação 'Prolog'' é ...
Nachdem die meisten Studenten über die Feiertage nach Hause zu ihren Familien gefahren sind, verb...
Whetheryouareacomputerscientist,alogician,aphilosopher,orapsychologist, it is crucial to understa...