13271 search results - page 147 / 2655 » Computers, Programming, and People |
ICALP
2003
Springer
15 years 9 months ago
2003
Springer
133
click to vote
DIS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We discuss what constitutes knowledge in pure mathematics and how new advances are made and communicated. We describe the impact of computer algebra systems, automated th...
182
click to vote
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
Fuzzy answer set programming has been introduced as a framework that successfully combines the concepts of answer set programming and fuzzy logic. In this paper, we show how the fu...
133
click to vote
MPC
1995
Springer
15 years 7 months ago
1995
Springer
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...