Back to Results
First PageMeta Content
Logic / 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. Kiniry
Add to Reading List

Document Date: 2007-07-09 08:14:48


Open Document

File Size: 378,36 KB

Share Result on Facebook