Illustration

Biographie et livres de Valentin Goranko

Découvrez tout l'univers de l'auteur en livre numérique
Valentin Goranko is currently a professor of logic and theoretical philosophy at Stockholm University. He has more than 30 years of university teaching and research experience in mathematics, computer science and philosophy in universities in Bulgaria, South Africa, Denmark and Sweden. His main expertise and research interests are in theory and applications of modal and temporal logics to computer science, artificial intelligence, multiagent systems and philosophy. He has authored and
Découvrez tous ses livres

Dernière parution

Téléchargez le livre : Temporal Logics
Ajouter à ma liste d'envies
Temporal Logics

Valentin Goranko

Cambridge University Press

2023-10-05

PDF, ePub

Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. These systems differ by the ontological assumptions made about the nature of time in the...

25,21 €

Lire plus

Tous les ebooks de Valentin Goranko en PDF et EPUB


3  résultat(s)
Télécharger le livre : Temporal Logics in Computer Science
Ajouter à ma liste d'envies

Temporal Logics in Computer Science

Stéphane Demri , Valentin Goranko , Martin Lange

This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. Part I presents the basics of discrete transition systems, including constructions and behavioural...

Parution : 2016-10-13
Format(s) : PDF, ePub
Éditeur : Cambridge University Press
J'achète
155,46 €
Télécharger le livre : Logic and Discrete Mathematics
Ajouter à ma liste d'envies

Logic and Discrete Mathematics

Willem Conradie , Valentin Goranko , Claudette Robinson

Solutions manual to accompany Logic and Discrete Mathematics: A Concise Introduction This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has...

Parution : 2015-05-08
Format(s) : PDF, ePub
Éditeur : Wiley
J'achète
22,74 €
Télécharger le livre : Logic and Discrete Mathematics
Ajouter à ma liste d'envies

Logic and Discrete Mathematics

Willem Conradie , Valentin Goranko

A concise yet rigorous introduction to logic and discrete mathematics. This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and...

Parution : 2015-04-28
Format(s) : PDF, ePub
Éditeur : Wiley
J'achète
55,14 €

Restez informé(e) des événements et promotions ebook

Paiements sécurisés

Paiements sécurisés