Logical Methods

EISBN：9781461203254

PISBN：9780817636906

出版社：Birkhäuser Boston

出版类型：Monograph

出版时间：1993

版次：1993

作者：John N. Crossley,Jeffrey B. Remmel,Richard Shore,Moss E. Sweedler

主题词：Computer Science,Math Applications in Computer Science,Applications of Mathematics,Mathematical Logic and Foundations,Mathematical Logic and Formal Languages,Logics and Meanings of Programs

语种：英语

所属数据库：SpringerLink电子图书(1815-2004)

丛书题名：Progress in Computer Science and Applied Logic

1浏览量

问图书管理员

馆际互借

查看订购单位

原文链接

Logical Methods

作者：John N. Crossley,Jeffrey B. Remmel,Richard A. Shore,Moss E. Sweedler
EISBN：9781461203254
出版社：Birkhäuser Boston
出版时间：1993

Formal Logical Methods for System Security and Correctness

作者：Grumberg,O.;Nipkow,T.;Pfaller,C.
EISBN：9781607503156
出版社：IOS Press, Incorporated
出版时间：2008-03-27

Logical and Relational Learning

作者：Luc De Raedt
EISBN：9783540688563
出版社：Springer Berlin Heidelberg
出版时间：2008

The Logical Systems of Lesniewski

作者：Eugene C. Luschei
PISBN：9780444533951
出版时间：Pre 2007

The Logical Foundations of Mathematics

作者：Hatcher,William S.
PISBN：9780080258003
出版时间：Legacy

Logical Data Modeling

作者：Alan Chmura,J. Mark Heumann
EISBN：9780387229621
出版社：Springer New York
出版时间：2005