First Page | Document Content | |
---|---|---|
Date: 2004-12-07 23:48:09Computational linguistics NuPRL Proof theory Robert Lee Constable Mathematical proof Lattice Sequence alignment Speech recognition Abstract algebra Mathematics Science | Add to Reading ListSource URL: www.cs.cornell.eduDownload Document from Source WebsiteFile Size: 187,24 KBShare Document on Facebook |