Publications/Manuscripts of John Byrnes
1999
[1] OANTS for Interactive ATP (Christoph Benzmüller, Volker Sorge, John Byrnes), pp. 1-5, 1999. (Draft, AG Siekmann, Saarland University) [bibtex] [pdf]
Powered by bibtexbrowser