Implementation And Application Of Functional Languages: 18th International Symposium, Ifl 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers
Automated Deduction - A Basis For Applications Volume I Foundations - Calculi And Methods Volume Ii Systems And Implementation Techniques Volume Iii Applications
Automated Deduction - A Basis For Applications Volume I Foundations - Calculi And Methods Volume Ii Systems And Implementation Techniques Volume Iii Applications
Automated Deduction - A Basis For Applications Volume I Foundations - Calculi And Methods Volume Ii Systems And Implementation Techniques Volume Iii Applications
Automated Deduction - A Basis For Applications Volume I Foundations - Calculi And Methods Volume Ii Systems And Implementation Techniques Volume Iii Applications