发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[Lecture Notes in Computer Science] Artificial Intelligence in Medicine Volume 2780 || Experiences in the Formalisation and Verification of Medical Protocols

[Lecture Notes in Computer Science] Artificial Intelligence in Medicine Volume 2780 || Experiences in the Formalisation and Verification of Medical Protocols

Dojat, Michel; Keravnou, Elpida T.; Barahona, Pedro
  • 作者Dojat, Michel; Keravnou, Elpida T.; Barahona, Pedro
  • 文件大小249.10KB
  • 发表时间2003
  • DOI10.1007/978-3-540-39907-0_19
  • 页码132-141
同期刊推荐
← 返回【学霸图书馆】主页
© 2026 学霸图书馆 · 让阅读成为习惯