947 search results - page 37 / 190 » Declarative Programming in Prolog |
94
Voted
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
74
Voted
BMCBI
2005
15 years 1 months ago
2005
78
Voted
AMAI
2002
Springer
15 years 1 months ago
2002
Springer
67
Voted
CORR
2000
Springer
15 years 1 months ago
2000
Springer
116
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...