Relational and Kleene-Algebraic Methods in Computer Science

EISBN:9783540247715
PISBN:9783540221456
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:2004
版次:2004
作者:R. Berghammer,Bernhard Möller,Georg Struth
主题词:Mathematics,Number Theory,Mathematical Logic and Formal Languages,Software Engineering,Logics and Meanings of Programs,Symbolic and Algebraic Manipulation
语种:英语
相关推荐

Relational and Kleene-Algebraic Methods in Computer Science

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

Relational and Algebraic Methods in Computer Science

  • 作者:Peter Höfner,Damien Pous,Georg Struth
  • EISBN:9783319574189
  • 出版社:Springer International Publishing
  • 出版时间:2017

Relational and Algebraic Methods in Computer Science

  • 作者:Uli Fahrenberg,Wesley Fussner,Roland Glück
  • EISBN:9783031682797
  • 出版社:Springer Nature
  • 出版时间:2024

Relational and Algebraic Methods in Computer Science

  • 作者:Wolfram Kahl,Michael Winter,José Oliveira
  • EISBN:9783319247045
  • 出版社:Springer International Publishing
  • 出版时间:2015

Relational and Algebraic Methods in Computer Science

  • 作者:Jules Desharnais,Walter Guttmann,Stef Joosten
  • EISBN:9783030021498
  • 出版社:Springer International Publishing
  • 出版时间:2018

Relational and Algebraic Methods in Computer Science

  • 作者:Peter Höfner,Peter Jipsen,Wolfram Kahl,Martin Eric Müller
  • EISBN:9783319062518
  • 出版社:Springer International Publishing
  • 出版时间:2014