Quod Libet

Quod Libet is a cross-platform free and open-source audio player, tag editor and library organizer. The main design philosophy is that the user knows… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

2003-2017
0120032017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
Previous research suggests that more involvement in various activities can help delay cognitive decline in older adults. Few… (More)
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?
2010
2010
There are reasons for determinism. However, this collides with the everyday experience of autonomy. The following argumentation… (More)
Is this relevant?
2009
2009
Graphs are among the most studied and used mathematical tools for representing data and their relationships. The increasing… (More)
Is this relevant?
Review
2007
Review
2007
Paraconsistent logic is the study of logics in which there are some theories embodying contradictions but which are not trivial… (More)
Is this relevant?
2005
2005
The belief that conscious will is merely ‘‘an illusion created by the brain’’ appears to be gaining in popularity among cognitive… (More)
Is this relevant?
2003
2003
QUODLIBET is a tactic-based inductive theorem proving system that meets today’s standard requirements for theorem provers such as… (More)
Is this relevant?