Algebraic Logic and Universal Algebra in Computer Science

EISBN：9780387348049

PISBN：9780387972886

出版社：Springer New York

出版类型：Proceedings

出版时间：1990

作者：Clifford H. Bergman,Roger D. Maddux,Don L. Pigozzi

主题词：Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Algorithm Analysis and Problem Complexity,Data Structures,Symbolic and Algebraic Manipulation,Mathematical Logic and Foundations

语种：英语

所属数据库：SpringerLink电子图书

丛书题名：Lecture Notes in Artificial Intelligence

1浏览量

问图书管理员

馆际互借

查看订购单位

原文链接

Algebraic Logic and Universal Algebra in Computer Science

作者：Clifford H. Bergman,Roger D. Maddux,Don L. Pigozzi
EISBN：9780387348049
出版社：Springer New York
出版时间：1990

Universal Algebra, Algebraic Logic, and Databases

作者：B. Plotkin
EISBN：9789401108201
出版社：Springer Netherlands
出版时间：1994

Universal Algebra, Algebraic Logic, and Databases

作者：B. Plotkin
EISBN：9789401108201
出版社：Springer Netherlands
出版时间：1994

Universal Algebra for Computer Scientists

作者：Wolfgang Wechler
EISBN：9783642767715
出版社：Springer Berlin Heidelberg
出版时间：1992

Universal Algebra for Computer Scientists

作者：Wolfgang Wechler
EISBN：9783642767715
出版社：Springer Berlin Heidelberg
出版时间：1992

Universal Algebra

作者：P.M. Cohn
EISBN：9789400983991
出版社：Springer Netherlands
出版时间：1981