杠杆 发表于 2025-4-1 05:53:30

0302-9743 ; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection..978-3-642-02260-9978-3-642-02261-6Series ISSN 0302-9743 Series E-ISSN 1611-3349
页: 1 2 3 4 5 6 [7]
查看完整版本: Titlebook: Logic, Language, Information and Computation; 16th International W Hiroakira Ono,Makoto Kanazawa,Ruy Queiroz Conference proceedings 2009 Sp