%0 Thesis %1 phd/ethos/Adams97 %A Adams, Andrew %D 1997 %K dblp %T Tools and techniques for machine-assisted meta-theory.

@phdthesis{phd/ethos/Adams97, added-at = {2022-05-04T00:00:00.000+0200}, author = {Adams, Andrew}, biburl = {https://www.bibsonomy.org/bibtex/2d6d2cd4adc628c69085184dd3fbc9b8e/dblp}, ee = {https://hdl.handle.net/10023/13382}, interhash = {aaff484d7f90975561131da731f5008b}, intrahash = {d6d2cd4adc628c69085184dd3fbc9b8e}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of St Andrews, UK}, timestamp = {2024-04-09T08:48:24.000+0200}, title = {Tools and techniques for machine-assisted meta-theory.}, year = 1997 }