Advances in temporal logic
Auteur :
Barringer, Howard
Éditeur :
Barringer, Howard
ISBN :
9780792361497
Date de publication :
1 déc. 1999
Dimensions :
23,4 x 15,6 x 2,5 cm
Poids :
829 g
Format :
Laminated cover
Langue :
Anglais
Pays d'origine :
USA
Presents articles containing results in such areas as pure temporal/modal logic, specification and verification, temporal databases, temporal aspects in AI, tense and aspect in natural language, and temporal theorem proving. This book is intended for postgraduate and postdoctoral students, and also research professors in this area.