Relations and Kleene Algebra in Computer Science

EISBN:9783540789130
PISBN:9783540789123
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:2008
作者:Rudolf Berghammer,Bernhard Möller,Georg Struth
主题词:Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Artificial Intelligence (incl. Robotics),Software Engineering
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Relations and Kleene Algebra in Computer Science

  • 作者:Renate A. Schmidt
  • EISBN:9783540378747
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2006

Relations and Kleene Algebra in Computer Science

  • 作者:Rudolf Berghammer,Ali Mohamed Jaoua,Bernhard Möller
  • EISBN:9783642046391
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2009

Relational and Kleene-Algebraic Methods in Computer Science

  • 作者:Rudolf Berghammer,Bernhard Möller,Georg Struth
  • EISBN:9783540247715
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2004

Relational and Kleene-Algebraic Methods in Computer Science

  • 作者:R. Berghammer,Bernhard Möller,Georg Struth
  • EISBN:9783540247715
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2004

Algebra for Computer Science

  • 作者:Lars Gårding,Torbjörn Tambour
  • EISBN:9781461387978
  • 出版社:Springer US
  • 出版时间:1988

Algebra for Computer Science

  • 作者:Lars Garding,Torbjörn Tambour
  • EISBN:9781461387978
  • 出版社:Springer New York
  • 出版时间:1988