Meta-Programming in Logic

EISBN:9783540475057
PISBN:9783540562825
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:1992
版次:1992
作者:Alberto Pettorossi
主题词:Computer Science,Theory of Computation,Software Engineering,Programming and Operating Systems,Mathematical Logic and Foundations,Mathematical Logic and Formal Languages
语种:英语
相关推荐

Meta-Programming in Logic

  • 作者:A. Pettorossi
  • EISBN:9783540475057
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1992

Logic Program Synthesis and Transformation — Meta-Programming in Logic

  • 作者:Laurent Fribourg,Franco Turini
  • EISBN:9783540491040
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1994

Logic Program Synthesis and Transformation - Meta-Programming in Logic

  • 作者:Laurent Fribourg,Franco Turini
  • EISBN:9783540491040
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1994

Programming and Meta-Programming in Scheme

  • 作者:Jon Pearce
  • EISBN:9781461216827
  • 出版社:Springer New York
  • 出版时间:1998

Programming and Meta-Programming in Scheme

  • 作者:Jon Pearce
  • EISBN:9781461216827
  • 出版社:Springer New York
  • 出版时间:1998

Meta-Programming and Model-Driven Meta-Program Development

  • 作者:Vytautas Štuikys,Robertas Damaševičius
  • EISBN:9781447141266
  • 出版社:Springer London
  • 出版时间:2013