Natarajan Shankar,
"Little Engines of Proof,"
Logic in Computer Science, Symposium on, pp. 3, 17th Annual IEEE Symposium on Logic in Computer Science (LICS'02), 2002.
BibTex
x
@article{
10.1109/LICS.2002.1029812, author = {Natarajan Shankar}, title = {Little Engines of Proof}, journal ={Logic in Computer Science, Symposium on}, volume = {0}, year = {2002}, issn = {1043-6871}, pages = {3}, doi = {http://doi.ieeecomputersociety.org/10.1109/LICS.2002.1029812}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }
RefWorks Procite/RefMan/Endnote
x
TY - CONF JO - Logic in Computer Science, Symposium on TI - Little Engines of Proof SN - 1043-6871 SP EP A1 - Natarajan Shankar, PY - 2002 KW - null VL - 0 JA - Logic in Computer Science, Symposium on ER -
PDF
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb