Mathematical logic for computer science

出版社:Singapore ; Teaneck, N.J. : World Scientific, 1989.
ISBN:9971502518
出版年:1989
作者:Lu,Chung-wan.
资源类型:图书
细分类型:西文文献
相关推荐

Mathematical Logic for Computer Science

  • 作者:Mordechai Ben-Ari.
  • ISBN:1447141288
  • 出版社:Springer, 2012.
  • 出版年:2012

Mathematical logic for computer science

  • 作者:Ben-Ari,M.,
  • 出版年:2012

Mathematical logic and theoretical computer science

  • 作者:Kueker,David W.
  • ISBN:0824777468
  • 出版社:New York : M. Dekker, c1987.
  • 出版年:1987

Proceedings of the sixth IBM symposium on mathematical foundations of computer science logic aspect

  • 作者:IBM,
  • ISBN:CNY200.00
  • 出版社:TokoyI: Corporate and Science Programs,IBM 1981.
  • 出版年:1981

Proceedings of the sixth IBM symposium on mathematical foundations of computer science logic aspect

  • 作者:IBM,
  • 出版社:TokoyI: Corporate and Science Programs,IBM 1981.
  • 出版年:1981

Essential logic for computer science

  • 作者:Page,Rex L.
  • ISBN:9780262039185
  • 出版社:Cambridge, Massachusetts : The MIT Press, c2018.
  • 出版年:2018