References of "Huimin, Dong"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailStratified action negation for dynamic logic
Sun, Xin UL; Huimin, Dong

in 26th BENELUX Conference on Artificial Intelligence (BNAIC) (2014)

Detailed reference viewed: 44 (12 UL)