BIRTHDAY
1991
Springer
14 years 6 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...
BIRTHDAY
1991
Springer
14 years 6 days ago
1991
Springer
BIRTHDAY
1991
Springer
14 years 6 days ago
1991
Springer
BIRTHDAY
1991
Springer
14 years 6 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 ...
BIRTHDAY
1991
Springer
14 years 6 days ago
1991
Springer
BIRTHDAY
1991
Springer
14 years 6 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, ...
BIRTHDAY
1991
Springer
14 years 6 days ago
1991
Springer
BIRTHDAY
1991
Springer
14 years 6 days ago
1991
Springer
SC
1995
ACM
14 years 6 days ago
1995
ACM
SC
1995
ACM
14 years 6 days ago
1995
ACM
The Convex SPP-1000 is the first commercial implementation of a new generation of scalable shared memory parallel computers with full cache coherence. It employs a hierarchical s...