Little Engines of Proof

	This Article
	PDF RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Natarajan Shankar

17th Annual IEEE Symposium on Logic in Computer Science (LICS'02)

Copenhagen, Denmark

July 22-July 25

ISBN: 0-7695-1483-9

	ASCII Text	x
	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 -

Natarajan Shankar, SRI International

Citation:

Natarajan Shankar, "Little Engines of Proof," lics, pp.3, 17th Annual IEEE Symposium on Logic in Computer Science (LICS'02), 2002

Usage of this product signifies your acceptance of the Terms of Use.