Logic and Its Applications, 2013 5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings Theoretical Computer Science and General Issues Series
Coordonnateur : Lodaya Kamal
Up to date results
State of the art research
Fast track conference proceedings
Date de parution : 01-2013
Ouvrage de 259 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 48,53 €
Ajouter au panierThème de Logic and Its Applications :
Mots-clés :
bisimulation; decision theory; epistemic logic; forcing; modal logic; temporal logic