TY  - BOOK
AU  - Harel,David
AU  - Kozen,Dexter
AU  - Tiuryn,Jerzy
TI  - Dynamic logic
SN  - 9788120331716
PY  - 2007///
CY  - New Delhi
PB  - Prentice - Hall of India
KW  - Logic programming
KW  - Dynamic programming
ER  -