Formal Aspects of Context

EISBN:9789401593977
PISBN:9780792363507
出版社:Springer Netherlands
出版类型:Contributed volume
出版时间:2000
版次:2000
作者:Pierre Bonzon,Marcos Cavalcanti,Rolf Nossum
主题词:Philosophy,Logic,Mathematical Logic and Foundations
语种:英语
丛书题名:Applied Logic Series
相关推荐

Formal Aspects of Context

  • 作者:Pierre Bonzon,Marcos Cavalcanti,Rolf Nossum
  • EISBN:9789401593977
  • 出版社:Springer Netherlands
  • 出版时间:2000

Formal Aspects of Security

  • 作者:Ali E. Abdallah,Peter Ryan,Steve Schneider
  • EISBN:9783540409816
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2003

Formal Aspects of Security

  • 作者:Ali E. Abdallah,Peter Ryan,Steve Schneider
  • EISBN:9783540409816
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2003

Formal Aspects of Measurement

  • 作者:Tim Denvir,Rosalind Herman,Robin W. Whitty
  • EISBN:9781447132059
  • 出版社:Springer London
  • 出版时间:1992

Formal Aspects of Measurement

  • 作者:Tim Denvir,Rosalind Herman,Robin Whitty
  • EISBN:9781447132059
  • 出版社:Springer London
  • 出版时间:1992

Formal Aspects of Component Software

  • 作者:José Proença,Markus Lumpe
  • EISBN:9783319680347
  • 出版社:Springer International Publishing
  • 出版时间:2017