Matematičeskaja logika i avtomatičeskoe dokazatel'stvo teorem

Bibliographische Detailangaben

1. Verfasser:	Chang, Chin-liang (VerfasserIn)
Weitere Verfasser:	Lee, Richard Char-Tung (BerichterstatterIn), Davydov, G. V. (BerichterstatterIn), Maslov, S. Ju. (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	rus
Veröffentlicht:	Moskva Nauka 1983
Schriftenreihe:	Matematičeskaja logika i osnovanija matematiki
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!