4617 search results - page 137 / 924 » Automation of Diagrammatic Reasoning |
145
click to vote
KR
1992
Springer
15 years 10 months ago
1992
Springer
An algorithm is presented which eliminates second
143
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
This text gives an overview about my current research in timing analysis
153
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
The proof-theoretic approach to logic programming has benefited from the