746 search results - page 24 / 150 » Connectionist Propositional Logic |
142
Voted
TLCA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
ISMVL
2008
IEEE
15 years 10 months ago
2008
IEEE
90
Voted
STACS
2007
Springer
15 years 9 months ago
2007
Springer
112
Voted
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
95
Voted
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer