Logic from Computer Science

EISBN:9781461228226
PISBN:9781461276852
出版社:Springer New York
出版类型:Proceedings
出版时间:1992
作者:Yiannis N. Moschovakis
主题词:Mathematical Logic and Foundations,Mathematical Logic and Formal Languages
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Logic from Computer Science

  • 作者:Yiannis N. Moschovakis
  • EISBN:9781461228226
  • 出版社:Springer New York
  • 出版时间:1992

Computer Science Logic

  • 作者:Zoltán Ésik
  • EISBN:9783540454595
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2006

Computer Science Logic

  • 作者:Jerzy Marcinkowski
  • EISBN:9783540301240
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2004

Computer Science Logic

  • 作者:Matthias Baaz,Johann A. Makowsky
  • EISBN:9783540452201
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2003

Computer Science Logic

  • 作者:Peter G. Clote,Helmut Schwichtenberg
  • EISBN:9783540446224
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2000

Computer Science Logic

  • 作者:Peter G. Clote,Helmut Schwichtenberg
  • EISBN:9783540446224
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2000