00895nam0-22003251i-450-9900010046704033213-540-09237-4000100467FED01000100467(Aleph)000100467FED0100010046720000920d1979----km-y0itay50------baengFirst-Order Dynamic LogicDavid HarelBerlin [etc.]Springer-Verlag1979Lecture notes in computer science68CiberneticaTeoria dei giochiTeoria degli automiIntelligenza artificiale510.78Harel,David<1950- >47551ITUNINARICAUNIMARCBK9900010046704033218-14811223FI1FI1First-Order Dynamic Logic354588UNINAING01