4573 search results - page 125 / 915 » Automated Reasoning |
136
Voted
ICTL
1994
15 years 7 months ago
1994
This paper presents a temporal belief logic called
101
click to vote
CSL
1992
Springer
15 years 7 months ago
1992
Springer
ating Point Numbers (Abstract). In: Berichte aus Informatik
107
Voted
ICLP
1992
Springer
15 years 7 months ago
1992
Springer
109
click to vote
KR
1992
Springer
15 years 7 months ago
1992
Springer
An algorithm is presented which eliminates second
111
click to vote
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
This text gives an overview about my current research in timing analysis