登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

Many-Dimensional Modal Logics: Theory and Applications
PISBN：9780444508263
出版时间：Pre 2007
作者：D.M. Gabbay,A. Kurucz,F. Wolter,M. Zakharyaschev
主题词：Mathematics pre-2007
语种：英语
所属数据库：Elsevier电子图书
丛书题名：Studies in Logic and the Foundations of Mathematics
2浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Constraints in Computational Logics: Theory and Applications
  • 作者：Hubert Comon,Claude Marche,Ralf Treinen
  • EISBN：9783540454069
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2001
...

Executable Modal and Temporal Logics
  • 作者：Michael Fisher,Richard Owens
  • EISBN：9783540491682
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1995
...

Executable Modal and Temporal Logics
  • 作者：Michael Fisher,Richard Owens
  • EISBN：9783540491682
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1995
...

Many-Valued Logics
  • 作者：Leonard Bolc,Piotr Borowik
  • EISBN：9783662084946
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1992
...

Many-Valued Logics 1
  • 作者：Leonard Bolc,Piotr Borowik
  • EISBN：9783662084946
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1992
...

Many-Valued Logics
  • 作者：J.Barkley Rosser,Atwell R. Turquette
  • PISBN：9780444533722
  • 出版时间：Pre 2007