相关推荐

Model-Based Decision Support Methodology with Environmental Applications

  • 作者:Andrzej P. Wierzbicki,Marek Makowski,Jaap Wessels
  • EISBN:9789401595520
  • 出版社:Springer Netherlands
  • 出版时间:2000

Molecular Logic-based Computation

  • 作者:A Prasanna de Silva,Queen's University Belfast,UK
  • EISBN:9781849733021
  • 出版社:RSC
  • 出版时间:2012

Logic-Based Artificial Intelligence

  • 作者:Jack Minker
  • EISBN:9781461515678
  • 出版社:Springer US
  • 出版时间:2000

Logic-Based Artificial Intelligence

  • 作者:Jack Minker
  • EISBN:9781461515678
  • 出版社:Springer US
  • 出版时间:2000

Logic-Based Program Synthesis and Transformation

  • 作者:Elvira Albert
  • EISBN:9783642381973
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2013

Logic-Based Program Synthesis and Transformation

  • 作者:Alicia Villanueva
  • EISBN:9783031167676
  • 出版社:Springer Nature
  • 出版时间:2022