Computer Software
Print ISSN : 0289-6540
Regular Paper
Event and Property in Order-Sorted Logic
Ken KaneiwaSatoshi Tojo
Author information
JOURNAL FREE ACCESS

2000 Volume 17 Issue 2 Pages 118-132

Details
Article 1st page
Content from these authors
© Japan Society for Software Science and Technology 2000
Previous article Next article
feedback
Top