Logic of Computation

EISBN:9783642590481
PISBN:9783642638329
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:1997
作者:Helmut Schwichtenberg
主题词:Logics and Meanings of Programs,Software Engineering,Mathematical Logic and Formal Languages,Programming Languages,Compilers,Interpreters
语种:英语
所属数据库:SpringerLink电子图书
丛书题名:NATO ASI Series
相关推荐

Logic of Computation

  • 作者:Helmut Schwichtenberg
  • EISBN:9783642590481
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1997

Logic, Language and Computation

  • 作者:Seiki Akama
  • EISBN:9789401156387
  • 出版社:Springer Netherlands
  • 出版时间:1997

Logic, Language, and Computation

  • 作者:Martin Aher,Daniel Hole,Emil Jeřábek,Clemens Kupke
  • EISBN:9783662469064
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2015

Logic, Language, and Computation

  • 作者:Nick Bezhanishvili,Sebastian Löbner,Kerstin Schwabe,Luca Spada
  • EISBN:9783642223037
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2011

Computation Theory and Logic

  • 作者:Egon Börger
  • EISBN:9783540477952
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1987

Language, Logic, and Computation

  • 作者:Alexandra Silva,Sam Staton,Peter Sutton,Carla Umbach
  • EISBN:9783662595657
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2019