Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery, France in August 1993. The direct execution of logical statements, through languages such as PROLOG, has proved remarkably successful within CS and AI. In...
Сохранить в:
| Главный автор: | |
|---|---|
| Соавтор: | |
| Другие авторы: | |
| Формат: | Livre numérique |
| Язык: | Anglais |
| Опубликовано: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Серии: | Lecture notes in computer science. Lecture notes in artificial intelligence
897 |
| Предметы: | |
| Online-ссылка: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Примечание: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Executable modal and temporal logics, IJCAI '93 Workshop, Chambéry, France, August 28, 1993, proceedings, Michael Fisher, Richard Owens (eds.), Berlin, Springer-Verlag, 1995, 1 vol. (180 p.), Lecture notes in artificial intelligence, 3-540-58976-7 • Executable Modal and Temporal Logics, Texte imprimé, 9783662179475 |
| Итог: | This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery, France in August 1993. The direct execution of logical statements, through languages such as PROLOG, has proved remarkably successful within CS and AI. In recent years a variety of nonclassical logics have been introduced and several executable forms of these logics have been applied to programming. This volume addresses a range of approaches to executable modal and temporal logics, not only from a logical point of view, but also from programming language and application standpoints; in addition, an introductory survey and an annotated bibliography are presented. |
|---|---|
| Примечание: | Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| ISBN: | 9783540491682 (PDF) |
| ISSN: | 1611-3349 2945-9141 |
| Доступ: | Accès en ligne pour les établissements français bénéficiaires des licences nationales Accès soumis à abonnement pour tout autre établissement Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 |