Relations and Kleene Algebra in Computer Science

EISBN:9783540378747
PISBN:9783540378730
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:2006
作者:Renate A. Schmidt
主题词:Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Artificial Intelligence (incl. Robotics),Software Engineering
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Relations and Kleene Algebra in Computer Science

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

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