登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Logic programming and automated reasoning : 4th international conference LPAR ''93 St. Petersburg

出版社：Berlin ; New York : Springer-Verlag, 1993.
ISBN：3540569448
出版年：1993
作者：Voronkov,A.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Logic programming and automated reasoning : International Conference, LPAR ''92, St. Petersburg, Russ
  • 作者：Voronkov,A.
  • ISBN：354055727X
  • 出版社：Berlin ; New York : Springer-Verlag, c1992.
  • 出版年：1992
...

Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Isl
  • 作者：LPAR 2000
  • ISBN：3540412859
  • 出版社：Berlin ; New York : Springer, c2000.
  • 出版年：2000
...

Logic for programming and automated reasoning : 6th International Conference, LPAR''99, Tbilisi, Geor
  • 作者：LPAR ''99
  • ISBN：3540664920
  • 出版社：Berlin ; New York : Springer, 1999.
  • 出版年：1999
...

Human-computer interaction : 4th international conference, EWHCI ''94, St. Petersburg, Russia, August
  • 作者：Blumenthal,Brad
  • ISBN：3540586482
  • 出版社：Berlin ; New York : Springer-Verlag, 1994.
  • 出版年：1994
...

Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR
  • 作者：LPAR 2004
  • ISBN：3540252363
  • 出版社：Berlin ; New York : Springer, c2005.
  • 出版年：2005
...

Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-
  • 作者：LPAR 2010
  • ISBN：9783642175107
  • 出版社：Berlin ; New York : Springer, 2010.
  • 出版年：2010