links
·
people
·
groups
·
tags
| My:
links
·
tags
·
groups
·
watchlists
·
notes
login
·
sign up now!
|
help
·
blog
simpy
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