Relational and Algebraic Methods in Computer Science

EISBN：9783319062518

PISBN：9783319062501

出版社：Springer International Publishing

出版类型：Proceedings

出版时间：2014

作者：Peter Höfner,Peter Jipsen,Wolfram Kahl,Martin Eric Müller

主题词：Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Logics and Meanings of Programs,Software Engineering,Artificial Intelligence (incl. Robotics),Discrete Mathematics in Computer Science

语种：英语

所属数据库：SpringerLink电子图书

丛书题名：Lecture Notes in Computer Science

2浏览量

问图书管理员

馆际互借

查看订购单位

原文链接

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

作者：Wolfram Kahl,Timothy G. Griffin
EISBN：9783642333149
出版社：Springer Berlin Heidelberg
出版时间：2012

Relational and Algebraic Methods in Computer Science

作者：Uli Fahrenberg,Peter Jipsen,Michael Winter
EISBN：9783030435202
出版社：Springer International Publishing
出版时间：2020