Автор: Andreas Kapsner Название: Logics and Falsifications ISBN: 3319345494 ISBN-13(EAN): 9783319345499 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume examines the concept of falsification as a central notion of semantic theories and its effects on logical laws. In the end, the book shows that the constructive path may branch in different directions: towards intuitionistic logic, dual intuitionistic logic and several variations of Nelson logics.
Автор: Jan van Eijck Название: Logics in AI ISBN: 3540536868 ISBN-13(EAN): 9783540536864 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The European Workshop on Logics in Artificial Intelligence was held at the Centre for Mathematics and Computer Science in Amsterdam, September 10-14, 1990. The main themes are: - Logic programming and automated theorem proving, - Computational semantics for natural language, - Applications of non-classical logics, - Partial and dynamic logics.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
