Follow us_
Publication Search Results
Exact matches for:
- Author = Pollet M
1.
Cohen AM, Murray SH, Pollet M, Sorge V
Arjeh Cohen, Scott H. Murray, Martin Pollet and Volker Sorge:
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 |