1284 search results - page 112 / 257 » On Helping and Interactive Proof Systems |
CADE
2007
Springer
15 years 10 months ago
2007
Springer
We introduce a calculus for handling integer arithmetic in first-order logic. The method is tailored to Java program verification and meant to be used both as a supporting procedur...
100
click to vote
FROCOS
2005
Springer
15 years 3 months ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
CSREAPSC
2006
14 years 11 months ago
2006
- The use of a PDA with ad-hoc built-in information retrieval functionalities can help people in visiting an historical site in a natural manner instead of traditional audio/visual...
AIMSA
2000
Springer
15 years 2 months ago
2000
Springer
Allowing the student to have some control over the diagnosis inspecting and changing the model the system has made of him is a feasible approach in student modelling which tracks t...
CHI
1995
ACM
15 years 1 months ago
1995
ACM
Current networked information systems on the Internet, whilst extremely successful, run into problems of fragmentation, consistency, scalability, and loss of orientation. The deve...