Publication Search Results
Matches for:
- Author=Sorge V
1. Cohen A, Murray SH, Pollet M, Sorge V. Certifying solutions to permutation group problems, Automated Deduction, CADE-19, F. Baader (ed.), Lecture Notes in Artificial Intelligence, Springer, Berlin, (2003), 257–273. ISBN 3-540-40559-3
| Number of matches: 1 | Page 1 of 1 | Select page: 1 |