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

Constraints in computational logics : first international conference CCL ''94 Munich Germany Sept
出版社：Berlin ; New York : Springr-Verlag, 1994.
ISBN：354058403X
出版年：1994
作者：Jouannaud,Jean-Pierre
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Constraints in computational logics : theory and applications : International Summer School, CCL''99,
  • 作者：CCL''99
  • ISBN：3540419500
  • 出版社：Berlin ; New York : Springer, 2001.
  • 出版年：2001
...

COMPUTATION TOOLS 2010 : the first International Conference on Computational Logics, Algebras, Progr
  • 作者：International Conference on Computational Logics,Algebras,Programming,Tools,and Benchmarking
  • ISBN：9781618396426
  • 出版社：Wilmington, DE : International Academy, Research, and Industry Association, 2010.
  • 出版年：2010
...

Theorem proving in higher order logics : 22nd international conference, TPHOLs 2009, Munich, Germany
  • 作者：TPHOLs 2009
  • ISBN：9783642033582
  • 出版社：Berlin ; New York : Springer, c2009.
  • 出版年：2009
...

Constraints in computational logics : theory and applications
  • 作者：Comon,Hubert.
  • ISBN：3540419500
  • 出版社：Berlin ; New York : Springer, 2001.
  • 出版年：2001
...

Heat Transfer, 1982, Munich, germany, Sept.6-10, 1982
  • 作者：International heat Transfer Conference
  • 出版社：Wash. : Hemisphere Pub. Corp., c1982.
  • 出版年：1982
...

Bioinformatics research and development : first international conference, BIRD 2007, Berlin, Germany
  • 作者：BIRD 2007
  • ISBN：9783540712329
  • 出版社：Berlin ; New York : Springer, c2007.
  • 出版年：2007