Computer Software
Print ISSN : 0289-6540
On a Resolusion for Computing Unique Name Axiom over First-order Theory.
Kazuhiko OotaKouji Iwanuma
Author information
JOURNAL FREE ACCESS

1995 Volume 12 Issue 2 Pages 2_157-2_165

Details
Abstract

Content from these authors
© 1995, Japan Society for Software Science and Technology
Previous article Next article
feedback
Top