![]() | ![]() |
2005 | ||
---|---|---|
2 | EE | Maarten Mariën, Rudradeb Mitra, Marc Denecker, Maurice Bruynooghe: Satisfiability Checking for PC(ID). LPAR 2005: 565-579 |
1 | EE | Rudradeb Mitra, Jayanta Basak: Methods of case adaptation: A survey. Int. J. Intell. Syst. 20(6): 627-645 (2005) |
1 | Jayanta Basak | [1] |
2 | Maurice Bruynooghe | [2] |
3 | Marc Denecker | [2] |
4 | Maarten Mariën | [2] |