Winkler, F. (1984). The Church Rosser Property in computer algebra and special theorem proving: An investigation of critical pair, completion algorithms. VWGÖ.
Panoya başarıyla kopyalandı
Panoya kopyalama başarısız oldu
Chicago Style (17. basım) Atıf
Winkler, Franz. The Church Rosser Property in Computer Algebra and Special Theorem Proving: An Investigation of Critical Pair, Completion Algorithms. Wien: VWGÖ, 1984.
Panoya başarıyla kopyalandı
Panoya kopyalama başarısız oldu
MLA (9th ed.) Atıf
Winkler, Franz. The Church Rosser Property in Computer Algebra and Special Theorem Proving: An Investigation of Critical Pair, Completion Algorithms. VWGÖ, 1984.
Panoya başarıyla kopyalandı
Panoya kopyalama başarısız oldu
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..