"A logical framework for deductive objects."

Takao Miura (1992)

Details and statistics

DOI: 10.1016/0306-4379(92)90034-K

access: closed

type: Journal Article

metadata version: 2017-05-20