|
A Simplified Guide to Small Business Tax Deductions Автор: GLADSON NWANNA, (PH.D.) Год: 2005 |
Deductive Reasoning and Strategies Год: 1999 |
Automated deduction in equational logic and cubic curves Автор: William McCune Год: 1996 |
Conference on Automated Deduction Год: 2011 |
Automated Deduction, Cade-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : Proceedings (Lecture Notes in Computer Science, 1421) Автор: International Conference on Automated Deduction 1998 Lindau Bavaria, Claude Kirchner, H. Kirchner Год: 2002 |