First Page | Document Content | |
---|---|---|
Date: 2007-07-09 08:14:48Logic Automated theorem proving Logic programming Combinatorial optimization Matching Substitution Mathematics Theoretical computer science | E-matching for Fun and Profit Michał Moskal, Jakub Łopuszański, Joseph R. KiniryAdd to Reading ListSource URL: www.lsi.upc.eduDownload Document from Source WebsiteFile Size: 378,36 KBShare Document on Facebook |