A Shell for Generic Interactive Proof Search

Journal of Applied Non-Classical Logics 1998 / 01 Vol. 8; Iss. 1-2

A Shell for Generic Interactive Proof Search

Novodvorsky, Aleksey, Smirnov, Aleksey
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
8
Langue:
english
Journal:
Journal of Applied Non-Classical Logics
DOI:
10.1080/11663081.1998.10510935
Date:
January, 1998
Fichier:
PDF, 900 KB
english, 1998
La conversion en est effectuée
La conversion en a échoué