Publications in ai-romatre-pubs.bib - Year: 1986
1986
[1]
Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic
(
Cialdea, Marta
),
In
Information Processing Letters
, volume 22,
1986
.
[bibtex]
[url]
[doi]
Powered by
bibtexbrowser