sign in
·
help
·
news
·
about
·
:
1
2
BibSonomy
::
user
::
ludaesch
::
tag
user
group
author
concept
BibTeX key
search:all
search:ludaesch
The blue social bookmark and publication sharing system.
Home
tags
authors
relations
groups
popular
discussed posts
>
|
<
RSS
BibTeX
XML
bookmarks
(1)
<<
< 1 >
>>
The Openproof Project at CSLI
to
teaching
logic
by
ludaesch
on
Mar 31, 2009, 5:18 PM
(0)
<<
< 1 >
>>
bookmarks per page:
5
10
20
50
100
publications
publications per page:
5
10
20
50
100
sys:relevantFor:daks
as tag from all users
related tags
+
teaching
+
logic
relations
tags
teaching
workflow
people
provenance
kepler
293
propr
bioinformatics
biology
4dave
theory
logic
taxonomy
writing
keplerworkflow
database
evolution
ontology
165b
philosophy
semanticweb
mapreduce
Hamming
bertram
ecs268wq08
science
genomics
family
reading
comad
ppod
programming
atol
cfp
phylogeny
dna
kids
cyberinfrastructure
graph-theory
books
review
databases
mathematics
constraints
science-fiction
spatial-algebra
scienceblogs
workshop
phylogenetics
seek