Practical Reasoning

EISBN:9783540684541
PISBN:9783540613138
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:1996
作者:Dov M. Gabbay,Hans Jürgen Ohlbach
主题词:Artificial Intelligence (incl. Robotics),Mathematical Logic and Foundations,Mathematical Logic and Formal Languages
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Practical Reasoning

  • 作者:Dov M. Gabbay,Hans Jürgen Ohlbach
  • EISBN:9783540684541
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1996

Automated Practical Reasoning

  • 作者:Jochen Pfalzgraf,Dongming Wang
  • EISBN:9783709166048
  • 出版社:Springer Vienna
  • 出版时间:1995

Automated Practical Reasoning

  • 作者:Jochen Pfalzgraf,Dongming Wang
  • EISBN:9783709166048
  • 出版社:Springer Vienna
  • 出版时间:1995

Qualitative and Quantitative Practical Reasoning

  • 作者:Dov M. Gabbay,Rudolf Kruse,Andreas Nonnengart,Hans Jürgen Ohlbach
  • EISBN:9783540691297
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1997

Qualitative and Quantitative Practical Reasoning

  • 作者:Dov Gabbay,Rudolf Kruse,Andreas Nonnengart,Hans J. Ohlbach
  • EISBN:9783540691297
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1997

Reasoning

  • 作者:Krawczyk,Daniel
  • PISBN:9780128092859
  • 出版时间:2018