Algebra, Meaning, and Computation

EISBN:9783540354642
PISBN:9783540354628
出版社:Springer Berlin Heidelberg
出版类型:Commemorative publication
出版时间:2006
作者:Kokichi Futatsugi,Jean-Pierre Jouannaud,José Meseguer
主题词:Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Computing Methodologies,Theory of Computation,Mathematics of Computing
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Algebra for Symbolic Computation

  • 作者:Antonio Machì
  • EISBN:9788847023970
  • 出版社:Springer Milan
  • 出版时间:2012

Logic, Algebra, and Computation

  • 作者:Friedrich L. Bauer
  • EISBN:9783642767999
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1991

Logic, Algebra, and Computation

  • 作者:Friedrich L. Bauer
  • EISBN:9783642767999
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1991

Hownet And The Computation Of Meaning (With Cd-rom)

  • 作者:Dong,Zhendong;Dong,Qiang
  • EISBN:9789812774675
  • 出版社:World Scientific Publishing Company
  • 出版时间:2006-02-01

Risk and Meaning

  • 作者:Nicolas Bouleau
  • EISBN:9783642176470
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2011

The Anatomy of Meaning

  • EISBN:9780511576737
  • 出版社:Cambridge University Press
  • 出版时间:2009