947 search results - page 37 / 190 » Declarative Programming in Prolog |
101
Voted
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
86
Voted
BMCBI
2005
15 years 2 months ago
2005
88
Voted
AMAI
2002
Springer
15 years 2 months ago
2002
Springer
76
Voted
CORR
2000
Springer
15 years 2 months ago
2000
Springer
122
Voted
ISMIS
1993
Springer
15 years 6 months ago
1993
Springer
An approach to implementing deduction systems based on semantic tableaux is described; it works by compiling a graphical representation of a fully expanded tableaux into a program...