Automated reasoning : third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-

Automated reasoning : third international joint conference IJCAR 2006 Seattle WA USA August 17-

出版社：Berlin ; New York : Springer, c2006.

ISBN：3540371877

出版年：2006

作者：IJCAR 2006

资源类型：图书

细分类型：西文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August

作者：Pfenning,Frank
ISBN：3540368345
出版社：Berlin ; New York : Springer, c2006.
出版年：2006

Automated Reasoning : 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12-1

作者：IJCAR 2008
ISBN：9783540710691
出版社：Berlin ; New York : Springer, 2008.
出版年：2008

Logic programming : 22nd international conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006 :

作者：ICLP 2006
ISBN：3540366350
出版社：Berlin ; New York : Springer, c2006.
出版年：2006

Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-2

作者：CAV (Conference)
ISBN：354037406X
出版社：Berlin ; New York : Springer, c2006.
出版年：2006

Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2

作者：IJCAR 2022
ISBN：9783031107689
出版社：Cham, Switzerland : Springer, 2022.
出版年：2022

Automated reasoning : 9th International Joint Conference,IJCAR 2018, held as part of the Federated L

作者：IJCAR 2018
ISBN：9783319942049
出版社：Cham, Switzerland : Springer, 2018.
出版年：2018