%0 Conference Paper %1 conf/ifip/Pritchard77 %A Pritchard, Paul %B IFIP Congress %D 1977 %K dblp %P 727-731 %T Program Proving-Expression Languages. %U http://dblp.uni-trier.de/db/conf/ifip/ifip1977.html#Pritchard77

@inproceedings{conf/ifip/Pritchard77, added-at = {2002-01-03T00:00:00.000+0100}, author = {Pritchard, Paul}, biburl = {https://www.bibsonomy.org/bibtex/23a07f22fd6b7657e53c3f172cafef33e/dblp}, booktitle = {IFIP Congress}, date = {2002-01-03}, description = {dblp}, interhash = {dec17c885330ac953f4cd185f7ee2ed0}, intrahash = {3a07f22fd6b7657e53c3f172cafef33e}, keywords = {dblp}, pages = {727-731}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {Program Proving-Expression Languages.}, url = {http://dblp.uni-trier.de/db/conf/ifip/ifip1977.html#Pritchard77}, year = 1977 }