Practical reasoning : International Conference on Formal and Applied Practical Reasoning FAPR ''96

出版社:Berlin ; New York : Springer, c1996.
ISBN:3540613137
出版年:1996
作者:International Conference on Formal and Applied Practical Reasoning
资源类型:图书
细分类型:西文文献
相关推荐

Qualitative and quantitative practical reasoning : first International Joint Conference on Qualitati

  • 作者:International Joint Conference on Qualitative and Quantitative Practical Reasoning
  • ISBN:3540630953
  • 出版社:Berlin ; New York : Springer, c1997.
  • 出版年:1997

Repression, integrity and practical reasoning

  • 作者:Jaeger,Gary.
  • ISBN:9780230368507
  • 出版社:Houndmills, Basingstoke, Hampshire ; New York : Palgrave Macmillan, 2012.
  • 出版年:2012

Automated practical reasoning : algebraic approaches

  • 作者:Pfalzgraf,Jochen,
  • ISBN:3211826009
  • 出版社:Wien ; New York : Springer-Verlag, c1995.
  • 出版年:1995

Handbook of practical logic and automated reasoning

  • 作者:Harrison,J.
  • ISBN:9780521899574
  • 出版社:Cambridge ; New York : Cambridge University Press, 2009.
  • 出版年:2009

Automated Practical Reasoning : Algebraic Approches

  • 作者:Pfalzgraf,Jochen. ed.
  • ISBN:3211826009
  • 出版社:Wien : Springer-Verlag, 1995.
  • 出版年:1995

Case-based reasoning research and development : 8th International Conference on Case-Based Reasoning

  • 作者:International Conference on Case-Based Reasoning
  • ISBN:9783642029974
  • 出版社:Berlin ; New York : Springer, c2009.
  • 出版年:2009