Author books / Книги автора Neil D. Jones (auth.) Rajeev Goré Alexander Leitsch Tobias Nipkow (eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Neil D. Jones (auth.) Rajeev Goré Alexander Leitsch Tobias Nipkow (eds.)

book Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings

Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings

pdf

Author: Neil D. Jones (auth.) Rajeev Goré Alexander Leitsch Tobias Nipkow (eds.)
Language: English
Year: 2001

00

27.01.2024

2

0