Computer Science Logic: 4th Workshop (CSL 90, Heidelberg, Germany, October 1-5, 1990) (Proceedings)

Name: Computer Science Logic: 4th Workshop (CSL 90, Heidelberg, Germany, October 1-5, 1990) (Proceedings)
ISBN: 9783540384014

Egon Bvrger , Hans Kleine B]ning , Michael M. Richter

还没有评分