检索条件： Logic ( 题名 )
责任者 Duan Zhenhua.
出版信息 Science Press, ,2005.
ISBN 7-03-016651-5
扫二维码，手机查看
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。
Temporal logic and temporal logic programming /
Duan Zhenhua..Science Press,,2005..
责任者 H. -D. Ebbinghaus
出版信息 Springer ,1984
ISBN
Mathematical logic
H. -D. Ebbinghaus.Springer,1984.
责任者 P. Mittelstaedt
出版信息 D. Reidel ,1978
Quantum logic
P. Mittelstaedt.D. Reidel,1978.
责任者 J. D. Monk
出版信息 Springer ,1976
J. D. Monk.Springer,1976.
责任者 Logic Colloquium
出版信息 North-Holland ,1984
Logic Colloquium (1982: Florence)：Logic Colloquium`82: proceedings
Logic Colloquium.North-Holland,1984.
责任者 E. Horbsted.
出版信息 NHPC ,1986
Logic design and simulation
E. Horbsted..NHPC,1986.
责任者 Peter M. D. Gray
出版信息 Ellis Horwood Ltd. ,1984
Logic, algebra and databases
Peter M. D. Gray.Ellis Horwood Ltd.,1984.
责任者 Evan Tick
出版信息 MIT Press ,1991
Parallel logic programming
Evan Tick.MIT Press,1991.
责任者 Geoff Bostock
出版信息 Collins Professional Books ,1987
Programmable logic handbook
Geoff Bostock.Collins Professional Books,1987.
责任者 D. Green
出版信息 Addison-Wesley ,1986
Modern logic design
D. Green.Addison-Wesley,1986.
通借图书
加入成功
您可到个人图书馆查看或取消预约
预约图书
您可在“我的图书馆→我的预约”菜单里查看预约记录
没有可借图书，您可对该书进行预约，等书还回后会按照预约顺序分配给您
