HyLib 整合性圖書館自動化系統
借閱次數: 0

Descriptional complexity of formal systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016 : proceedings /

  • 作者:edited by Cezar Campeanu, Florin Manea, Jeffrey Shallit.
  • 出版者:Springer International Publishing : Imprint: Springer
  • 出版地:Cham :
  • 語文:英語
  • 叢書名:Lecture notes in computer science, ; Theoretical computer science and general issues
  • 電子資源:https://doi.org/10.1007/978-3-319-41114-9
  • ISBN/ISSN/ISRC:9783319411149 ; 9783319411132
  • 作者:Campeanu, Cezar.;Manea, Florin.;Shallit, Jeffrey.
  • 索書號:004.0151