Exploring Formalisation

EISBN:9783031146497
PISBN:9783031146480
出版社:Springer Nature
出版时间:2022
作者:Clara Löh
主题词:Mathematics and Statistics
学科:T 工业技术,TP 自动化技术、计算机技术,TP3 计算技术、计算机技术
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Exploring Blazor

  • 作者:Taurius Litvinavicius
  • EISBN:9781484254462
  • 出版社:Apress
  • 出版时间:2019

Exploring RANDOMNESS

  • 作者:Gregory J. Chaitin
  • EISBN:9781447103073
  • 出版社:Springer London
  • 出版时间:2001

Exploring Curvature

  • 作者:James Casey
  • EISBN:9783322802743
  • 出版社:Vieweg+Teubner Verlag
  • 出版时间:1996

Exploring Geoethics

  • 作者:Martin Bohle
  • EISBN:9783030120108
  • 出版社:Springer International Publishing
  • 出版时间:2019

Exploring Mathematics

  • 作者:Daniel Grieser
  • EISBN:9783319903217
  • 出版社:Springer International Publishing
  • 出版时间:2018

Exploring RANDOMNESS

  • 作者:Gregory J. Chaitin
  • EISBN:9781447103073
  • 出版社:Springer London
  • 出版时间:2001