72
Voted
BIRTHDAY
1991
Springer
15 years 23 days ago
1991
Springer
: In this paper, we present a software engineer's view of user-interface development. First, we illustrate the main problem areas responsible for difficulties in building high...
50
Voted
BIRTHDAY
1991
Springer
15 years 23 days ago
1991
Springer
49
Voted
BIRTHDAY
1991
Springer
15 years 23 days ago
1991
Springer
66
Voted
BIRTHDAY
1991
Springer
15 years 23 days ago
1991
Springer
The goal of the MKRP project is the development of a theorem prover which can be used as an inference engine in various applications, in particular it should be capable of proving ...
73
Voted
BIRTHDAY
1991
Springer
15 years 23 days ago
1991
Springer
77
Voted
BIRTHDAY
1991
Springer
15 years 23 days ago
1991
Springer
First-order modal logics, as traditionally formulated, are not expressive enough. It is this that is behind the difficulties in formulating a good analog of Herbrand’s Theorem, ...
51
Voted
BIRTHDAY
1991
Springer
15 years 23 days ago
1991
Springer
76
Voted
BIRTHDAY
1991
Springer
15 years 23 days ago
1991
Springer