How to reduce backtracking in propositional intuitionistic logic

Details

Database :

OAIster

Notes :

ELETTRONICO, English

Publication Type :

Electronic Resource

Accession number :

edsoai.on1311389385

Document Type :

Electronic Resource