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

Protoalgebraic Logics
EISBN：9789401728072
PISBN：9789048156931
出版社：Springer Netherlands
出版类型：Contributed volume
出版时间：2001
作者：Janusz Czelakowski
主题词：Mathematical Logic and Foundations,Logic,Semantics,Algebra
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Trends in Logic
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Protoalgebraic Logics
  • 作者：Janusz Czelakowski
  • EISBN：9789401728072
  • 出版社：Springer Netherlands
  • 出版时间：2001
...

Nonmonotonic Logics
  • 作者：Karl Schlechta
  • EISBN：9783540497363
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1997
...

Logics in AI
  • 作者：David Pearce,Gerd Wagner
  • EISBN：9783540473046
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1992
...

Logics of Programs
  • 作者：D. Kozen
  • EISBN：9783540390473
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1982
...

Logics of Programs
  • 作者：E. Clarke,D. Kozen
  • EISBN：9783540387756
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1984
...

Logics of Programs
  • 作者：Dexter Kozen
  • EISBN：9783540390473
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1982