HutterS05'

BibTeX

@inproceedings{DBLP:conf/birthday/HutterS05,
  author    = {Dieter Hutter and
               Werner Stephan},
  title     = {A Portrait of a Scientist: Logic, AI and Politics},
  booktitle = {Mechanizing Mathematical Reasoning},
  year      = {2005},
  pages     = {1-13},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}id=KCJUU5XA8YQVQDCD},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}