检索条件: Logic ( 主题词 )
责任者 Alan B. Marcovitz.
出版信息 清华大学出版社, ,2002.
ISBN 7-302-05717-6
扫二维码,手机查看
在粘贴到您的文章之前,请再检查一遍引文格式的准确性。
Introduction to logic design =: 逻辑设计基础 /
Alan B. Marcovitz..清华大学出版社,,2002..
责任者 Medin
出版信息 Cambridge University Press, ,2012.
ISBN 978-1-107-02753-4
Digital logic design : a rigorous approach /
Medin.Cambridge University Press,,2012..
责任者 , Franz Baader
出版信息 Cambridge University Press, ,2010.
ISBN 978-0-5211-5011-8
The Description logic handbook : theory, implementation, and applications /
, Franz Baader.Cambridge University Press,,2010..
责任者 Karel Lambert.
出版信息 Cambridge University Press, ,2007.
ISBN 9780521039222 (pbk.) :
Free logic : selected essays /
Karel Lambert..Cambridge University Press,,2007..
责任者 Edwin D. Mares.
出版信息 Cambridge Univeristy Press, ,2007.
ISBN 9780521039253 :
Relevant logic : a philosophical interpretation /
Edwin D. Mares..Cambridge Univeristy Press,,2007..
责任者 John M. Yarbrough著.
出版信息 China Machine Press, ,2002.
ISBN 7-111-10837-X
Digital logic : applications and design = 数字逻辑 : 应用与设计 /
John M. Yarbrough著..China Machine Press,,2002..
责任者 Tom Tymoczko,Jim Henle
出版信息 Springer-Verlag ,2000
ISBN 0-387-98930-7
Sweet reason:a field guide to modern logic
Tom Tymoczko,Jim Henle.Springer-Verlag,2000.
责任者 John P. Burgess.
出版信息
ISBN 9780198722229 (hbk.)
Rigor and structure /
John P. Burgess..,.
责任者 Alan B. Marcovitz
出版信息 McGraw Hill Higher Education ,c2008
ISBN 9780073314174 (hbk.)
Introduction to logic and computer design
Alan B. Marcovitz.McGraw Hill Higher Education,c2008.
责任者 Maksimova, L. L.
出版信息 Clarendon Press, ,2005.
ISBN 9780198511748 (hbk.)
Interpolation and definability : modal and intuitionistic logics /
Maksimova, L. L..Clarendon Press,,2005..
通借图书
加入成功
您可到个人图书馆查看或取消预约
预约图书
您可在“我的图书馆→我的预约”菜单里查看预约记录
没有可借图书,您可对该书进行预约,等书还回后会按照预约顺序分配给您