Keith Vanderveen, C. V. Ramamoorthy. Partial instantiation theorem proving for distributed resource location. In 21st International Computer Software and Applications Conference (COMPSAC 97), 11-15 August 1997, Washington, DC, USA. pages 192, IEEE Computer Society, 1997. [doi]
@inproceedings{VanderveenR97,
title = {Partial instantiation theorem proving for distributed resource location},
author = {Keith Vanderveen and C. V. Ramamoorthy},
year = {1997},
url = {http://computer.org/proceedings/compsac/8105/81050192abs.htm},
tags = {C++},
researchr = {https://researchr.org/publication/VanderveenR97},
cites = {0},
citedby = {0},
pages = {192},
booktitle = {21st International Computer Software and Applications Conference (COMPSAC 97), 11-15 August 1997, Washington, DC, USA},
publisher = {IEEE Computer Society},
isbn = {0-8186-8105-5},
}