國立高雄大學圖資館 |

查詢結果 [ subject:"Automatic theorem proving"]

113 筆 (0.032s)· 頁 1 of 12 • 1 2 3 4 5

1.

Proof theory in computer scienceinte...

~
(1998 :)
- Proof theory in computer scienceinternational seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings /
- by: (1998 :); Kahle, Reinhard.; Schroeder-Heister, Peter.; SpringerLink (Online service); Stark, Robert.
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2001
- ISBN: 9783540427520
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
2.

Theorem proving in higher order logi...

~
(1998 :)
- Theorem proving in higher order logics14th international conference, TPHOLs 2001, Edinburgh, Scotland,UK, September 3-6, 2001 : proceedings /
- by: (1998 :); Boulton, Richard J.; Jackson, Paul B.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2001
- ISBN: 9783540425250
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
3.

Automated reasoning with analytic ta...

~
(1998 :)
- Automated reasoning with analytic tableaux and related methodsinternational conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings /
- by: (1998 :); Egly, Uwe, (1960-); Fermuller, C. (1963-); SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2002
- ISBN: 9783540439295
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
4.

Theorem proving in higher order logi...

~
(1998 :)
- Theorem proving in higher order logics15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings /
- by: (1998 :); Carreno, Victor A.; Munoz, Cesar A.; SpringerLink (Online service); Tahar, Sofiene.
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2002
- ISBN: 9783540440390
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
5.

Theorem proving in higher order logi...

~
(1998 :)
- Theorem proving in higher order logics10th international conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings /
- by: (1998 :); Felty, Amy.; Gunter, Elsa L.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 1997
- ISBN: 9783540633792
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
6.

Automated reasoning with analytic ta...

~
(1998 :)
- Automated reasoning with analytic tableaux and related methodsinternational conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings /
- by: (1998 :); Murray, Neil V.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 1999
- ISBN: 9783540660866
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
7.

Theorem proving in higher order logi...

~
(1998 :)
- Theorem proving in higher order logics12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings /
- by: (1998 :); Bertot, Yves.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 1999
- ISBN: 9783540664635
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
8.

Automated reasoning with analytic ta...

~
(1998 :)
- Automated reasoning with analytic tableaux and related methodsinternational conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings /
- by: (1998 :); Dyckhoff, Roy.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2000
- ISBN: 9783540676973
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
9.

Theorem proving in higher order logi...

~
(1998 :)
- Theorem proving in higher order logics13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings /
- by: (1998 :); Aagaard, Mark.; Harrison, John.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2000
- ISBN: 9783540678632
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
10.

Automated technology for verificatio...

~
(1998 :)
- Automated technology for verification and analysisSecond International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings /
- by: (1998 :); SpringerLink (Online service); Wang, Farn.
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2004
- ISBN: 9783540236108
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論

書目性質:
資料類型:
查找有館藏的資料