Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings

Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings

作者: 7 Han]`57 7a, 出版社:Springer, 出版日期:1991-10-07

商品條碼:9783540544876, ISBN:3540544879
分類標籤:General » Refinements » Subjects » Books » Professional & Technical

 

內容簡介

Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
此商品目前尚無文字簡介

相關書籍