Unisoft Folder Overview 4.05

First Page		Document Content
Date: 2008-03-03 05:12:57 Wolfram Research Artificial intelligence Logic in computer science Cross-platform software Mathematica Fuzzy logic Symbolic computation Algorithm Numerical analysis Science Mathematical software Mathematics		Unisoft Folder Overview 4.05 Add to Reading List Source URL: www.unisoftwareplus.com Download Document from Source Website File Size: 1,31 MB Share Document on Facebook

	An extensible ad hoc interface between Lean and Mathematica Robert Y. Lewis Carnegie Mellon University Pittsburgh, PA, USA DocID: 1xVmH - View Document
	PDF Document DocID: 1xo98 - View Document
	PDF Document DocID: 1xlW0 - View Document
	PDF Document DocID: 1vPGa - View Document
	PDF Document DocID: 1vuuu - View Document