检索条件： Logic in computer science : ( 题名 )

检索结果共有14条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Linear logic in computer science /
责任者 Ehrhard, Thomas,

出版信息 Cambridge University Press, ,2004.

ISBN 0-521-60857-0

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Ehrhard, Thomas,.Linear logic in computer science /.Cambridge University Press,,2004..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/221943
复制引文到剪贴板

Linear logic in computer science /

Ehrhard, Thomas,.Cambridge University Press,,2004..
2 图书 Symposium Logic in Computer Science(1987 : Ithaca)：proceedings
责任者 Symposium Logic in Computer Science

出版信息 IEEE ,1987

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Symposium Logic in Computer Science.Symposium Logic in Computer Science(1987 : Ithaca)：proceedings.IEEE,1987.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/30620
复制引文到剪贴板

Symposium Logic in Computer Science(1987 : Ithaca)：proceedings

Symposium Logic in Computer Science.IEEE,1987.
3 图书 Logic in computer science : modelling and reasoning about systems /
责任者 Ryan, Mark,

出版信息 Cambridge University Press, ,2004.

ISBN 0-521-54310-X

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Ryan, Mark,.Logic in computer science : modelling and reasoning about systems /.Cambridge University Press,,2004..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/217791
复制引文到剪贴板

Logic in computer science : modelling and reasoning about systems /

Ryan, Mark,.Cambridge University Press,,2004..
4 图书 Logic in computer science : modelling and reasoning about systems /
责任者 Michael Huth, Mark Ryan.

出版信息

ISBN 9780521543101 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Michael Huth, Mark Ryan..Logic in computer science : modelling and reasoning about systems /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/709708
复制引文到剪贴板

Logic in computer science : modelling and reasoning about systems /

Michael Huth, Mark Ryan..,.
5 图书 Symposium on Logic in Computer Science(1986 : Cambridge)：proceedings
责任者 Symposium on Logic in Computer Science

出版信息 IEEE ,1986

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Symposium on Logic in Computer Science.Symposium on Logic in Computer Science(1986 : Cambridge)：proceedings.IEEE,1986.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/29833
复制引文到剪贴板

Symposium on Logic in Computer Science(1986 : Cambridge)：proceedings

Symposium on Logic in Computer Science.IEEE,1986.
6 图书 Symposium on Logic in Computer Science(3rd : 1988 : Edinburgh, Scotland)：Logic in computer science : proceedings
责任者 CSTCMFC

出版信息 Computer Society Pr. ,1989

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
CSTCMFC.Symposium on Logic in Computer Science(3rd : 1988 : Edinburgh, Scotland)：Logic in computer science : proceedings.Computer Society Pr.,1989.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/30784
复制引文到剪贴板

Symposium on Logic in Computer Science(3rd : 1988 : Edinburgh, Scotland)：Logic in computer science : proceedings

CSTCMFC.Computer Society Pr.,1989.
7 图书 Symposium on Logic in Computer Science(4th : 1989 : Cambridge)：LICS-89 : proceedings
责任者 Symposium on Logic in Computer Science

出版信息 IEEE ,1989

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Symposium on Logic in Computer Science.Symposium on Logic in Computer Science(4th : 1989 : Cambridge)：LICS-89 : proceedings.IEEE,1989.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/29869
复制引文到剪贴板

Symposium on Logic in Computer Science(4th : 1989 : Cambridge)：LICS-89 : proceedings

Symposium on Logic in Computer Science.IEEE,1989.
8 图书 IEEE Symposium on Logic in Computer Science(6th : 1991 : Amsterdam)：proceedings
责任者 IEEE Symposium on Logic in Computer Science

出版信息 IEEE ,1991

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
IEEE Symposium on Logic in Computer Science.IEEE Symposium on Logic in Computer Science(6th : 1991 : Amsterdam)：proceedings.IEEE,1991.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/29871
复制引文到剪贴板

IEEE Symposium on Logic in Computer Science(6th : 1991 : Amsterdam)：proceedings

IEEE Symposium on Logic in Computer Science.IEEE,1991.
9 图书 IEEE Symposium on Logic in Computer Science(5th : 1990 : Philadelphia, PA)：proceedings
责任者 IEEE TCMFC

出版信息 IEEE Computer Society Pr. ,1990

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
IEEE TCMFC.IEEE Symposium on Logic in Computer Science(5th : 1990 : Philadelphia, PA)：proceedings.IEEE Computer Society Pr.,1990.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/30432
复制引文到剪贴板

IEEE Symposium on Logic in Computer Science(5th : 1990 : Philadelphia, PA)：proceedings

IEEE TCMFC.IEEE Computer Society Pr.,1990.
10 图书 Deontic Logic in Computer Science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008 : proceedings /
责任者 Van der Meyden, Ron,,Torre, Leendert van der.

出版信息 Springer, ,2008.

ISBN 9783540705246 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Van der Meyden, Ron,,Torre, Leendert van der..Deontic Logic in Computer Science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008 : proceedings /.Springer,,2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/294789
复制引文到剪贴板

Deontic Logic in Computer Science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008 : proceedings /

Van der Meyden, Ron,,Torre, Leendert van der..Springer,,2008..

通借成功!

预约成功!