STACS 93

EISBN:9783540475743
PISBN:9783540565031
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:1993
作者:P. Enjalbert,A. Finkel,K. W. Wagner
主题词:Computation by Abstract Devices,Algorithm Analysis and Problem Complexity,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Arithmetic and Logic Structures,Logic Design
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

STACS 93

  • 作者:Patrice Enjalbert,Alain Finkel,Klaus W. Wagner
  • EISBN:9783540475743
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1993

STACS 91

  • 作者:Christian Choffrut,Matthias Jantzen
  • EISBN:9783540470021
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1991

STACS 2003

  • 作者:Helmut Alt,Michel Habib
  • EISBN:9783540364948
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2003

STACS 94

  • 作者:Patrice Enjalbert,Ernst W. Mayr,Klaus W. Wagner
  • EISBN:9783540483328
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1994

STACS 90

  • 作者:Christian Choffrut,Thomas Lengauer
  • EISBN:9783540469452
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1990

STACS 95

  • 作者:Ernst W. Mayr,Claude Puech
  • EISBN:9783540491750
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1995