Search: Systems For Integrated Computation And Deduction -- Interim
2003
[1] Systems for Integrated Computation and Deduction -- Interim Report of the CALCULEMUS IHP Network, (Christoph Benzmüller, ed.), SEKI Publications (ISSN 1437-4447), 2003. (135 pages) [bibtex] [pdf]
Powered by bibtexbrowser