Logic from Computer Science

EISBN:9781461228226
PISBN:9780387976679
出版社:Springer New York
出版类型:Proceedings
出版时间:1992
版次:1992
作者:Yiannis N. Moschovakis
主题词:Mathematics,Mathematical Logic and Foundations,Mathematical Logic and Formal Languages
语种:英语
相关推荐

Logic from Computer Science

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

Computer Science Logic

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

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

Computer Science Logic

  • 作者:Jörg Flum,Mario Rodriguez-Artalejo
  • EISBN:9783540481683
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1999