Catégorie de recherche
Problème de recherche ?

Fibring Logics

Auteur: Gabbay, Dov M. (Professor of Computer Science, Professor of Computer Science, King's College, London)
Editeur: Oxford University Press
Modern applications of logic, in mathematics, theoretical computer science, and linguistics, require combined systems involving many different logics working together. In this book the author offers a basic methodology for combining - or fibring - systems. This means that many existing complex systems can be broken down into simpler components, hence making them much easier to manipulate.
Sur commande
Modern applications of logic, in mathematics, theoretical computer science, and linguistics, require combined systems involving many different logics working together. In this book the author offers a basic methodology for combining - or fibring - systems. This means that many existing complex systems can be broken down into simpler components, hence making them much easier to manipulate.
ISBN / EAN 9780198503811
Auteur Gabbay, Dov M. (Professor of Computer Science, Professor of Computer Science, King's College, London)
Editeur Oxford University Press