A structure sharing technique for matrices and substitutions in Prawitz's theorem proving method

Bibliographische Detailangaben

1. Verfasser:	Saya, H. (VerfasserIn)
Weitere Verfasser:	Caferra, P. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Grenoble Univ. Scientifique et Médicale, Inst. National Polytechn. 1977
Schriftenreihe:	Rapport de recherche / Institut National Polytechnique, Université Scientifique et Médicale de Grenoble 101
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!