Planning mathematical proofs with methods

Bibliographische Detailangaben

Weitere Verfasser:	Huang, Xiaorong (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Saarbrücken Univ. des Saarlandes, Fachbereich Informatik 1994
Schriftenreihe:	Seki-Report 1994,8
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!