| 2009 |
|---|
| 3 | EE | John Byrnes,
Michael Buchanan,
Michael Ernst,
Philip Miller,
Chris Roberts,
Robert Keller:
Visualizing Proof Search for Theorem Prover Development.
Electr. Notes Theor. Comput. Sci. 226: 23-38 (2009) |
| 2007 |
|---|
| 2 | EE | Robert Keller,
Martin Hunt,
Stephen Jones,
David Morrison,
Aaron Wolin,
Steven Gomez:
Blues for Gary: Design Abstractions for a Jazz Improvisation Assistant.
Electr. Notes Theor. Comput. Sci. 193: 47-60 (2007) |
| 1989 |
|---|
| 1 | | Seif Haridi,
Robert Keller:
Preface to the Special Issue - Papers Presented at the Third Symposium on Logic Programming.
J. Log. Program. 6(1&2): 1-2 (1989) |
