TY  - BOOK
AU  - Weaire, D.L. Ed. Pettifor, D.G. Editor
TI  - Recursion method and its applications: proceedings
U1  - 511.3 
PY  - 1985///
KW  - Recursion theory
ER  -