The Automation of Reasoning with Incomplete Information

EISBN:9783540697930
PISBN:9783540645153
出版社:Springer Berlin Heidelberg
出版类型:Monograph
出版时间:1997
版次:1997
作者:Torsten Schaub
主题词:Computer Science,Mathematical Logic and Formal Languages
语种:英语
相关推荐

The Automation of Reasoning with Incomplete Information

  • 作者:Torsten Schaub
  • EISBN:9783540697930
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1997

Automation of Reasoning

  • 作者:Jörg H. Siekmann,Graham Wrightson
  • EISBN:9783642819551
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1983

Automation of Reasoning

  • 作者:J. Siekmann,G. Wrightson
  • EISBN:9783642819551
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1983

Information and Automation

  • 作者:Luo Qi
  • EISBN:9783642198533
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2011

Organization with Incomplete Information

  • EISBN:9780511551840
  • 出版社:Cambridge University Press
  • 出版时间:1998

Search and Planning Under Incomplete Information

  • 作者:Ian Frank
  • EISBN:9781447115946
  • 出版社:Springer London
  • 出版时间:1998