| Record ID | marc_records_scriblio_net/part12.dat:188356188:752 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part12.dat:188356188:752?format=raw |
LEADER: 00752cam 2200241 a 4500
001 81007632 //r93
003 DLC
005 19990125105802.1
008 810501s1981 miu b 001 0 eng
010 $a 81007632 //r93
020 $a0835712133
040 $aDLC$cDLC$dDLC
050 00 $aQA76.6$b.P34 1981
082 00 $a519.7$219
100 1 $aPaige, Robert A.
245 10 $aFormal differentiation :$ba program synthesis technique /$cby Robert A. Paige.
260 $aAnn Arbor, Mich. :$bUMI Research Press,$cc1981.
300 $ax, 277 p. ;$c24 cm.
440 0 $aComputer science.$pArtificial intelligence ;$vno. 6
504 $aBibliography: p. [271]-273.
500 $aIncludes index.
650 0 $aComputer programming.
650 0 $aComputer algorithms.