國立高雄大學圖資館 |

Search result for [ subject:"Automatic theorem proving"]

115 records (0.032s)· Page 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.
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2001
- ISBN: 9783540427520
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2001
- ISBN: 9783540425250
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2002
- ISBN: 9783540439295
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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.
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2002
- ISBN: 9783540440390
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 1997
- ISBN: 9783540633792
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 1999
- ISBN: 9783540660866
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 1999
- ISBN: 9783540664635
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2000
- ISBN: 9783540676973
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2000
- ISBN: 9783540678632
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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.
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2004
- ISBN: 9783540236108
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)

Bibliographic level:
Material type:
Only with items