000165767 001__ 165767
000165767 003__ SzGeCERN
000165767 005__ 20141215231842.0
000165767 0248_ $$aoai:cds.cern.ch:165767$$pcerncds:FULLTEXT
000165767 035__ $$a0077139CERCER
000165767 041__ $$aeng
000165767 088__ $$aRAL-86-010
000165767 100__ $$aDick, A J J
000165767 245__ $$aERIL - equational reasoning$$ban interactive laboratory
000165767 260__ $$c1985
000165767 269__ $$aChilton$$bRAL$$c1985
000165767 300__ $$a34 p
000165767 340__ $$apaper
000165767 65017 $$2SzGeCERN$$aComputing and Computers
000165767 690C_ $$aPREPRINT
000165767 852__ $$cCERN Central Library$$hRAL 86-010
000165767 8564_ $$uhttp://documents.cern.ch/cgi-bin/setlink?base=generic&categ=public&id=cer-000077139$$yFulltext
000165767 8564_ $$uhttps://cds.cern.ch/record/165767/files/cer-000077139.pdf$$yFulltext
000165767 916__ $$sn$$w198610
000165767 960__ $$a11
000165767 961__ $$c20070725$$h1215$$lCER01$$x19900129
000165767 963__ $$aPUBLIC
000165767 964__ $$a0001
000165767 970__ $$a000077139CER
000165767 980__ $$aPREPRINT