相关推荐

Semantics of Type Theory

  • 作者:Thomas Streicher
  • EISBN:9781461204336
  • 出版社:Birkhäuser Boston
  • 出版时间:1991

Semantics of Type Theory

  • 作者:T. Streicher
  • EISBN:9781461204336
  • 出版社:Birkhäuser Boston
  • 出版时间:1991

Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms: Theory and Applications

  • 作者:Oscar Castillo,Patricia Melin,Janusz Kacprzyk
  • EISBN:9783030354459
  • 出版社:Springer International Publishing
  • 出版时间:2020

Lothar Meyer

  • 作者:Gisela Boeck;Alan J. Rocke
  • EISBN:9783030783426
  • 出版社:Springer Nature
  • 出版时间:2022

Ternary Systems

  • 作者:Stephen,H.
  • PISBN:9780080099255
  • 出版时间:Legacy

Relational Matching

  • 作者:G. Vosselman
  • EISBN:9783540472872
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1992