Computer Science Logic

EISBN:9783540685074
PISBN:9783540613770
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:1996
版次:1996
作者:Hans Kleine Buening
主题词:Computer Science,Theory of Computation,Programming Languages,Compilers,Interpreters,Computer System Implementation,Mathematical Logic and Formal Languages,Logics and Meanings of Programs
语种:英语
相关推荐

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 M. Makowsky
  • EISBN:9783540452201
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2003

Computer Science Logic

  • 作者:Egon Börger,Yuri Gurevich,Karl Meinke
  • EISBN:9783540485995
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1994

Computer Science Logic

  • 作者:Laurent Fribourg
  • EISBN:9783540448020
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2001

Computer Science Logic

  • 作者:Laurent Fribourg
  • EISBN:9783540448020
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2001