登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

Relational and Algebraic Methods in Computer Science
EISBN：9783031280832
PISBN：9783031280825
出版社：Springer Nature
出版时间：2023
作者：Roland Glück,Luigi Santocanale,Michael Winter
主题词：Kleene algebra,Logic and verification,Higher order logic,Programming logic,Distributed systems,Categories,Quantale,Relation algebra,artificial intelligence,binary relation,binary relation,knowledge-based system,fuzzy sets,matrix algebra
学科：Computer Science
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Lecture Notes in Computer Science
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

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
  • 作者：Peter Höfner,Damien Pous,Georg Struth
  • EISBN：9783319574189
  • 出版社：Springer International Publishing
  • 出版时间：2017
...

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
...

Relational and Algebraic Methods in Computer Science
  • 作者：Uli Fahrenberg,Peter Jipsen,Michael Winter
  • EISBN：9783030435202
  • 出版社：Springer International Publishing
  • 出版时间：2020