Описание: Foundations of Cognitive Systems.- Information Processing.- Practical Applications.
Автор: Andr? Platzer Название: Logical Foundations of Cyber-Physical Systems ISBN: 3319635875 ISBN-13(EAN): 9783319635873 Издательство: Springer Рейтинг: Цена: 6288.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Cyberphysical systems (CPSs) combine cyber capabilities, such as computation or communication, with physical capabilities, such as motion or other physical processes.
Автор: Anil Nerode; Mikhail Taitslin Название: Logical Foundations of Computer Science - Tver `92 ISBN: 3540557075 ISBN-13(EAN): 9783540557074 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers in this volume were selected for the Symposium Logic, held at Tver in July 1992. The text provides information on the state of computer science research in the former Soviet Union and presents important discoveries in the field of logical foundations of computer science.
Автор: Sergei Adian; Anil Nerode Название: Logical Foundations of Computer Science ISBN: 3540630457 ISBN-13(EAN): 9783540630456 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text constitutes the refereed proceedings of the 4th International Symposium on Logical Foundations of Computer Science, LFCS `97. It presents 42 revised refereed papers in which current issues of computer science logic are addressed.
Автор: Antoni Ligeza Название: Logical Foundations for Rule-Based Systems ISBN: 3642067093 ISBN-13(EAN): 9783642067099 Издательство: Springer Рейтинг: Цена: 26120.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Thinking in terms of facts and rules is perhaps one of the most common ways of approaching problem de?nition and problem solving both in everyday life and under more formal circumstances.
Автор: Marcel Vin?cius Medeiros Oliveira; Jim Woodcock Название: Formal Methods: Foundations and Applications ISBN: 3642104517 ISBN-13(EAN): 9783642104510 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing.
Автор: Ajith Abraham; Aboul-Ella Hassanien; Patrick Siarr Название: Foundations of Computational Intelligence Volume 3 ISBN: 3642101658 ISBN-13(EAN): 9783642101656 Издательство: Springer Рейтинг: Цена: 27251.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The wide use of global optimization applications has gained the attention of practitioners and researchers from numerous scientific fields. This book, one of a series on the foundations of Computational Intelligence, is focused on global optimization.
Автор: Jan Rauch; Zbigniew W. Ras; Petr Berka; Tapio Elom Название: Foundations of Intelligent Systems ISBN: 3642041248 ISBN-13(EAN): 9783642041242 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Andreas Herzig; Emiliano Lorini Название: The Cognitive Foundations of Group Attitudes and Social Interaction ISBN: 3319217313 ISBN-13(EAN): 9783319217314 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Chapter 1 "On the philosophy and logic of help" Emanuele Bottazzi and Nicolas Troquard (Lab of Applied Ontology, ISTC-CNR, Trento, Italy).- Chapter 2 "Healing social sciences' psycho-phobia - Founding social action and structure on mental representations" Cristiano Castelfranchi (ISTC-CNR, Rome).- Chapter 3 "Analytical decomposition of trust in terms of mental and social attitudes" Robert Demolombe (IRIT, Toulouse).- Chapter 4 "On modal logics of group belief" Benoit Gaudou, Andreas Herzig, Dominique Longin and Emiliano Lorini (IRIT, Toulouse).- Chapter 5 "Logic of promotion and demotion" Patrick Girard (The University of Auckland, NZ).- Chapter 6 "On the attitude of trust - a formal characterization of trust, distrust, and associated notions" Andrew I.J. Jones (Dept. of Informatics, King's College, London).- Chapter 7 "The topology of common belief" David Pearce and Levan Uridia (Universidad Politйcnica de Madrid; TSU Razmadze Mathematical Institute, Georgia).- Chapter 8 "Social emotions from the perspective of the computational belief-desire theory of emotion" Rainer Reisenzein (Dept. of Psychology, University of Greifswald).- Chapter 9 "Reasoning with Normative Systems" Giovanni Sartor (Dept. of Law, Eur. University Institute, Florence and Faculty of Law, Bologna).- Chapter 10 "An agent based model of Camorra: comparing punishment and norm-based policies in contrasting illegal activities".- Chapter 11 Barbara Sonzogni, Federico Cecconi, Giulia Andrighetti, Rosaria Conte (Dept. of Communication and Social Research at Sapienza University, Rome; Lab. of Agent-Based Simulation, ISTC-CNR, Rome; Eur. University Institute, Florence).
Автор: Andreas Herzig; Emiliano Lorini Название: The Cognitive Foundations of Group Attitudes and Social Interaction ISBN: 3319345516 ISBN-13(EAN): 9783319345512 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Chapter 1 "On the philosophy and logic of help" Emanuele Bottazzi and Nicolas Troquard (Lab of Applied Ontology, ISTC-CNR, Trento, Italy).- Chapter 2 "Healing social sciences' psycho-phobia - Founding social action and structure on mental representations" Cristiano Castelfranchi (ISTC-CNR, Rome).- Chapter 3 "Analytical decomposition of trust in terms of mental and social attitudes" Robert Demolombe (IRIT, Toulouse).- Chapter 4 "On modal logics of group belief" Benoit Gaudou, Andreas Herzig, Dominique Longin and Emiliano Lorini (IRIT, Toulouse).- Chapter 5 "Logic of promotion and demotion" Patrick Girard (The University of Auckland, NZ).- Chapter 6 "On the attitude of trust - a formal characterization of trust, distrust, and associated notions" Andrew I.J. Jones (Dept. of Informatics, King's College, London).- Chapter 7 "The topology of common belief" David Pearce and Levan Uridia (Universidad Politйcnica de Madrid; TSU Razmadze Mathematical Institute, Georgia).- Chapter 8 "Social emotions from the perspective of the computational belief-desire theory of emotion" Rainer Reisenzein (Dept. of Psychology, University of Greifswald).- Chapter 9 "Reasoning with Normative Systems" Giovanni Sartor (Dept. of Law, Eur. University Institute, Florence and Faculty of Law, Bologna).- Chapter 10 "An agent based model of Camorra: comparing punishment and norm-based policies in contrasting illegal activities".- Chapter 11 Barbara Sonzogni, Federico Cecconi, Giulia Andrighetti, Rosaria Conte (Dept. of Communication and Social Research at Sapienza University, Rome; Lab. of Agent-Based Simulation, ISTC-CNR, Rome; Eur. University Institute, Florence).
Описание: This book covers a broad spectrum of results in logic and set theory relevant to the foundations, as well as, the results in computational complexity and the interdisciplinary area of proof complexity. It presents the ideas behind the theoretical concepts.
Автор: Cook Название: Logical Foundations of Proof Complexity ISBN: 1107694116 ISBN-13(EAN): 9781107694118 Издательство: Cambridge Academ Рейтинг: Цена: 9186.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the necessary logical background for the material and are suitable for a graduate course. The result is a uniform treatment of many systems in the literature.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
