The Logic of Theory Change

EISBN:9783540468172
PISBN:9783540535676
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:1991
版次:1991
作者:Andre Fuhrmann,Michael Morreau
主题词:Computer Science,Models and Principles
语种:英语
相关推荐

The Logic of Theory Change

  • 作者:André Fuhrmann,Michael Morreau
  • EISBN:9783540468172
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1991

Transactions and Change in Logic Databases

  • 作者:Burkhard Freitag,Hendrik Decker,Michael Kifer,Andrei Voronkov
  • EISBN:9783540494492
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1998

Transactions and Change in Logic Databases

  • 作者:Burkhard Freitag,Hendrik Decker,Michael Kifer,Andrei Voronkov
  • EISBN:9783540494492
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1998

Computation Theory and Logic

  • 作者:Egon Börger
  • EISBN:9783540477952
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1987

Computation Theory and Logic

  • 作者:Egon Börger
  • EISBN:9783540477952
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1987

Logic and Theory of Algorithms

  • 作者:Arnold Beckmann,Costas Dimitracopoulos,Benedikt Löwe
  • EISBN:9783540694076
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2008