Computer Science Logic

EISBN:9783540301240
PISBN:9783540230243
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:2004
版次:2004
作者:Jerzy Marcinkowski
主题词:Computer Science,Programming Languages,Compilers,Interpreters,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

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

Computer Science Logic

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

Computer Science Logic

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

Logic and Computer Science

  • 作者:Steven Homer,Anil Nerode,Richard A. Platek,Gerald E. Sacks,Andre Scedrov,Piergiorgio Odifreddi
  • EISBN:9783540471356
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1990

Computer Science Logic

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