國立高雄大學圖資館 |

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

16 records (0.033s)· Page 1 of 2 • 1 2

1.

A fascinating country in the world o...

~
Pieper, Gail W.
- A fascinating country in the world of computing :your guide to automated reasoning /
- by: Pieper, Gail W.; Wos, Larry.
- Language materials, printed : Monograph/item
- Publisher: World scientific,
- Place of Publication: Singapore :
- Year of Publication: 1999
- ISBN: 9810239106
- Availability: 2 Copie(s) available | 2 Copie(s) available for loan
- based on 0 review(s)
2.

The automation of reasoning with inc...

~
Schaub, Torsten.
- The automation of reasoning with incomplete informationfrom semantic foundations to efficient computation /
- by: Schaub, Torsten.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 1997
- ISBN: 9783540645153
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
3.

Theory reasoning in connection calculi

~
Baumgartner, Peter.
- Theory reasoning in connection calculi
- by: Baumgartner, Peter.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 1998
- ISBN: 9783540655091
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
4.

The collected works of Larry WosSoft /

~
Pieper, Gail W.
- The collected works of Larry WosSoft /
- by: Pieper, Gail W.; Wos, Larry.
- Language materials, printed : Monograph/item
- Publisher: World Scientific,
- Place of Publication: Singapore :
- Year of Publication: 2000
- ISBN: 9810240015; 98102499691; 98102499852
- Availability: 3 Copie(s) available | 3 Copie(s) available for loan
- based on 0 review(s)
5.

Isabelle/HOLa proof assistant for hi...

~
Nipkow, Tobias.
- Isabelle/HOLa proof assistant for higher-order logic /
- by: Nipkow, Tobias.; Paulson, Lawrence C.; SpringerLink (Online service); Wenzel, Markus.
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2002
- ISBN: 9783540433767
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
6.

Lectures on proof verification and a...

~
Mayr, Ernst W.
- Lectures on proof verification and approximation algorithms
- by: Mayr, Ernst W.; Promel, Hans Jurgen.; SpringerLink (Online service); Steger, Angelika.
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 1998
- ISBN: 9783540642015
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
7.

Automated deduction in classical and...

~
Caferra, Ricardo.
- Automated deduction in classical and non-classical logicsselected papers /
- by: Caferra, Ricardo.; Salzer, Gernot.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2000
- ISBN: 9783540671909
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
8.

Applied proof theory :proof interpre...

~
Kohlenbach, U.
- Applied proof theory :proof interpretations and their use in mathematics /
- by: Kohlenbach, U.
- Language materials, printed : Monograph/item
- Publisher: Springer,
- Place of Publication: Berlin :
- Year of Publication: 2008
- ISBN: 3540775323; 3540775331; 9783540775324; 9783540775331
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
9.

Computational logiclogic programming...

~
Kakas, Antonis C.
- Computational logiclogic programming and beyond : essays in honour of Robert A. Kowalski.part II /
- by: Kakas, Antonis C.; Kowalski, Robert.; Sadri, Fariba.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2002
- ISBN: 9783540439608
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
10.

Computational logiclogic programming...

~
Kakas, Antonis C.
- Computational logiclogic programming and beyond : essays in honour of Robert A. Kowalski.part I /
- by: Kakas, Antonis C.; Kowalski, Robert.; Sadri, Fariba.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2002
- ISBN: 9783540439592
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)

Bibliographic level:
Material type:
Only with items