| Record ID | marc_loc_2016/BooksAll.2016.part16.utf8:144468863:856 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part16.utf8:144468863:856?format=raw |
LEADER: 00856cam a2200241 a 4500
001 85143882
003 DLC
005 19971126132146.0
008 870824s1984 au a b 00010 eng
010 $a 85143882 //r972
020 $a3853695841 (pbk.) :$cDM27.00
040 $aDLC$cDLC$dDLC
050 00 $aQA251$b.W677 1984
082 00 $a512$219
100 10 $aWinkler, Franz,$d1955-
245 14 $aThe Church Rosser property in computer algebra and special theorem proving :$ban investigation of critical pair, completion algorithms /$cFranz Winkler.
260 0 $aWien :$bVWGÖ,$c1984.
300 $a193 p. :$bill. ;$c21 cm.
440 0 $aDissertationen der Johannes Kepler-Universität Linz ;$v49
504 $aBibliography: p. 182-193.
650 0 $aAlgebra, Universal$xData processing.
650 0 $aComputer algorithms.
650 0 $aAutomatic theorem proving.