<rdf:RDF xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/" xmlns="http://purl.org/rss/1.0/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"><channel rdf:about="http://www.bibsonomy.org/user/brenz/fnd"><title>BibSonomy bookmarks for /user/brenz/fnd</title><link>http://www.bibsonomy.org/rss/user/brenz/fnd</link><description>BibSonomy RSS Feed for /user/brenz/fnd</description><items><rdf:Seq><rdf:li rdf:resource="http://www.cc.utah.edu/~nahaj/logic/"/><rdf:li rdf:resource="http://www.phil.cam.ac.uk/teaching_staff/Smith/"/><rdf:li rdf:resource="http://people.csail.mit.edu/dnj/"/><rdf:li rdf:resource="http://alpha.uhasselt.be/~vdbuss/index.html"/><rdf:li rdf:resource="http://www.cs.rice.edu/~vardi/"/><rdf:li rdf:resource="http://mitpress.mit.edu/sicp/full-text/book/book.html"/><rdf:li rdf:resource="http://dl.kr.org/"/><rdf:li rdf:resource="http://www.phil.cam.ac.uk/teaching_staff/Smith/LaTeX/"/></rdf:Seq></items></channel><item rdf:about="http://www.cc.utah.edu/~nahaj/logic/"><title>John Halleck&amp;#039;s Logic Pages</title><description></description><link>http://www.cc.utah.edu/~nahaj/logic/</link><dc:creator>brenz</dc:creator><dc:date>2006-11-08T10:03:28+01:00</dc:date><dc:subject>fnd pers </dc:subject><content:encoded></content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/fnd"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/pers"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.phil.cam.ac.uk/teaching_staff/Smith/"><title>Peter Smith</title><description>Cambridge</description><link>http://www.phil.cam.ac.uk/teaching_staff/Smith/</link><dc:creator>brenz</dc:creator><dc:date>2006-07-25T16:49:05+02:00</dc:date><dc:subject>fnd pers </dc:subject><content:encoded>Cambridge</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/fnd"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/pers"/></rdf:Bag></taxo:topics></item><item rdf:about="http://people.csail.mit.edu/dnj/"><title>Daniel Jackson</title><description>MIT</description><link>http://people.csail.mit.edu/dnj/</link><dc:creator>brenz</dc:creator><dc:date>2006-07-25T16:48:48+02:00</dc:date><dc:subject>pers fnd fnd.lfm swt </dc:subject><content:encoded>MIT</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/pers"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/fnd"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/fnd.lfm"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/swt"/></rdf:Bag></taxo:topics></item><item rdf:about="http://alpha.uhasselt.be/~vdbuss/index.html"><title>Jan Van den Bussche</title><description>Universiteit Hasselt</description><link>http://alpha.uhasselt.be/~vdbuss/index.html</link><dc:creator>brenz</dc:creator><dc:date>2006-07-25T16:44:17+02:00</dc:date><dc:subject>fnd db pers </dc:subject><content:encoded>Universiteit Hasselt</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/fnd"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/db"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/pers"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.cs.rice.edu/~vardi/"><title>Moshe Y. Vardi</title><description>Rice University Houston</description><link>http://www.cs.rice.edu/~vardi/</link><dc:creator>brenz</dc:creator><dc:date>2006-07-25T16:43:00+02:00</dc:date><dc:subject>pers fnd </dc:subject><content:encoded>Rice University Houston</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/pers"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/fnd"/></rdf:Bag></taxo:topics></item><item rdf:about="http://mitpress.mit.edu/sicp/full-text/book/book.html"><title>Structure and Interpretation of Computer Programs</title><description>Online version</description><link>http://mitpress.mit.edu/sicp/full-text/book/book.html</link><dc:creator>brenz</dc:creator><dc:date>2006-06-23T22:21:51+02:00</dc:date><dc:subject>fnd </dc:subject><content:encoded>Online version</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/fnd"/></rdf:Bag></taxo:topics></item><item rdf:about="http://dl.kr.org/"><title>Description Logics</title><description></description><link>http://dl.kr.org/</link><dc:creator>brenz</dc:creator><dc:date>2006-04-11T13:43:22+02:00</dc:date><dc:subject>fnd </dc:subject><content:encoded></content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/fnd"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.phil.cam.ac.uk/teaching_staff/Smith/LaTeX/"><title>LaTeX for Logicians</title><description></description><link>http://www.phil.cam.ac.uk/teaching_staff/Smith/LaTeX/</link><dc:creator>brenz</dc:creator><dc:date>2006-04-04T18:03:29+02:00</dc:date><dc:subject>fnd tex </dc:subject><content:encoded></content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/fnd"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/tex"/></rdf:Bag></taxo:topics></item></rdf:RDF>