Peer-Reviewed Journal Details
Mandatory Fields
Decker, S.
1996
Structuring and Change in SLDNF-Proofs| Principles and Applications
Published
()
Optional Fields
54
Grant Details
Publication Themes