Frage zu Artikel "6th Conference on Automated Deduction, New York,.."

ISBN: 978-0-387-11558-0
Titel: 6th Conference on Automated Deduction, New York,..