1128 search results - page 11 / 226 » Classical Natural Deduction |
BIRTHDAY
2006
Springer
14 years 1 months ago
2006
Springer
Birkhoff (quasi-)variety categorical axiomatizability results have fascinated many scientists by their elegance, simplicity and generality. The key factor leading to their generali...
VL
1994
IEEE
14 years 1 months ago
1994
IEEE
Though visual access to spatial database systems has attracted much attention in recent years, there have only few deductive visual languages for spatial information systems been ...
TABLEAUX
1999
Springer
14 years 2 months ago
1999
Springer
Appeared in: N.V. Murray, editor, Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX’99), Lecture Notes in Artificial Intelligence 1617, Springer, pages 2...
AUSAI
2004
Springer
14 years 3 months ago
2004
Springer
Hex is a classic board game invented in the middle of the twentieth century by Piet Hein and rediscovered later by John Nash. The best Hex artificial players analyse the board posi...
DCG
2010
13 years 7 months ago
2010
Abstract. The Topological Radon Theorem states that, for every continuous function from the boundary of a (d + 1)-dimensional simplex into Rn , there exist a pair of disjoint faces...