Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky

EISBN：9783642381645

PISBN：9783642381638

出版社：Springer Berlin Heidelberg

出版类型：Contributed volume

出版时间：2013

作者：Bob Coecke,Luke Ong,Prakash Panangaden

主题词：Logics and Meanings of Programs,Computation by Abstract Devices,Mathematical Logic and Formal Languages,Algorithm Analysis and Problem Complexity,Software Engineering,Programming Languages,Compilers,Interpreters

语种：英语

所属数据库：SpringerLink电子图书

丛书题名：Lecture Notes in Computer Science

1浏览量

问图书管理员

馆际互借

查看订购单位

原文链接

Quantum Computation and Logic

作者：Maria Luisa Dalla Chiara,Roberto Giuntini,Roberto Leporini,Giuseppe Sergioli
EISBN：9783030044718
出版社：Springer International Publishing
出版时间：2018