BibSonomy :: bibtex ::

tag user group author concept BibTeX key search:all search:thau

A blue social bookmark and publication sharing system.

tags · relations · groups · popular	help · blog · about
username: password: myFriends myRelations mySearch myPDF myDuplicates myBibTeX	login · register

thau's BibTeX entry:

Automated Reasoning

2006.

Authors:	{Stanford Encyclopedia of Philosophy}
Tags:	kr logic

| BibTeX

@misc{stanford_encyc06:autom_reason,

title = {Automated Reasoning},
author = { {Stanford Encyclopedia of Philosophy}},
howpublished = {\url{http://plato.stanford.edu/entries/reasoning-automated}/},
year = {2006},
keywords = {kr logic }

}