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

Advances in Natural Deduction
EISBN：9789400775480
PISBN：9789400775473
出版社：Springer Netherlands
出版类型：Contributed volume
出版时间：2014
作者：Luiz Carlos Pereira,Edward Hermann Haeusler,Valeria de Paiva
主题词：Logic,Mathematical Logic and Formal Languages,Mathematical Logic and Foundations
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Trends in Logic
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Natural Deduction, Hybrid Systems and Modal Logics
  • 作者：Andrzej Indrzejczak
  • EISBN：9789048187850
  • 出版社：Springer Netherlands
  • 出版时间：2010
...

Advances in Natural Computation
  • 作者：Licheng Jiao,Lipo Wang,Xinbo Gao,Jing Liu,Feng Wu
  • EISBN：9783540459095
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2006
...

Advances in Natural Computation
  • 作者：Lipo Wang,Ke Chen,Yew Soon Ong
  • EISBN：9783540318583
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2005
...

Advances in Natural Computation
  • 作者：Lipo Wang,Ke Chen,Yew Soon Ong
  • EISBN：9783540318637
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2005
...

Labelled Deduction
  • 作者：David Basin,M. D'Agostino,Dov M. Gabbay,Seán Matthews,Luca Viganò
  • EISBN：9789401140409
  • 出版社：Springer Netherlands
  • 出版时间：2000
...

Advances in Natural Computation
  • 作者：Licheng Jiao,Lipo Wang,Xin-bo Gao,Jing Liu,Feng Wu
  • EISBN：9783540459026
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2006