Bücher nach ISBN > Springer > Rajeev Gore

Rajeev Gore

R. Gore · Rajeeva Gaur

TitelISBN-13
(ISBN-10)		Erschei-
nungsjahr		andere Autoren
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings978-3-54O-42254-9
(3-54O-42254-4)		2008Tobias Nipkow · Alexander Leitsch

Rajeev Gowda