tofgarion's Bookmarks About "logic"

Home / people / tofgarion / links / "logic"

tofgarion, member since Jan 14, 2009

1561 Visible Links (1561 total), 0 Public Groups, 20+ Top Tags

Search Everyone: "logic",

Top "logic" experts: shore, seether295, lisabell23, tofgarion, clcphilosophy, civbert,

Groups about "logic": FAT Data Recovery Software,

Show 50 · 100 · all

1 - 10 of 59 next »

Watch tofgarion

Introduction to Default Logic - Google Recherche de Livres

by tofgarion 2009-02-02 08:58 logic · books

http://books.google.fr/books?id=ePqodKzhHYYC&printsec=frontcover&dq=first+order+default+logic - cached - mail it - history

ESSLLI 2009 in Bordeaux

by tofgarion 2009-02-02 08:58 conference09 · logic

http://esslli2009.labri.fr/ - cached - mail it - history

Mel Fitting Home Page

by tofgarion 2009-02-02 08:58 logic

http://comet.lehman.cuny.edu/fitting/ - cached - mail it - history

What is Hindley-Milner? (and why is it cool?) - Code Commit

by tofgarion 2009-01-14 03:30 scala · logic · typing

http://www.codecommit.com/blog/scala/what-is-hindley-milner-and-why-is-it-cool - cached - mail it - history

Formalizing 100 Theorems

by tofgarion 2009-01-14 03:30 math · proof · logic

http://www.cs.ru.nl/~freek/100/ - cached - mail it - history

Cristian S. Calude's Website

by tofgarion 2009-01-14 03:30 logic

http://www.cs.auckland.ac.nz/~cristian/ - cached - mail it - history

G J Chaitin Home Page

by tofgarion 2009-01-14 03:30 math · theory · logic

http://cs.umaine.edu/~chaitin/ - cached - mail it - history

SAT4J

by tofgarion 2009-01-14 03:30 logic · java · theory

http://www.sat4j.org/ - cached - mail it - history

Untitled

by tofgarion 2009-01-14 03:30 logic · csp

http://kti.mff.cuni.cz/~bartak/constraints/ - cached - mail it - history

CS345 Lecture Notes

Ullman notes

by tofgarion 2009-01-14 03:30 database · logic

http://infolab.stanford.edu/~ullman/cs345-notes.html - cached - mail it - history

1 - 10 of 59 next »

Related Tags

- exclude ~ optional + require

-- ~ + 59 logic

-- ~ + 10 toread

-- ~ + 7 theory

-- ~ + 5 lectures

-- ~ + 4 prolog

-- ~ + 3 conference06

-- ~ + 3 ia

-- ~ + 3 journal

-- ~ + 3 math

-- ~ + 3 proof

-- ~ + 2 books

-- ~ + 2 database

-- ~ + 2 functional

-- ~ + 2 java

-- ~ + 2 programming

-- ~ + 2 verification

Add Dates

Feb 2, 2009

Jan 14, 2009