Your search returned 8 results.

Sort
Results
1.
Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories Andrzej Biela by Series: Prace naukowe Uniwersytetu âSlñaskiego w Katowicach ; nr. 1901
Publication details: Katowice Wydawn. Uniwersytetu âSlñaskiego 2000
Availability: Items available for loan: IMAR (1)Call number: II 35342.

2.
Mechanical geometry theorem proving Shang-Ching Chou by Series: Mathematics and its applications (D. Reidel Publishing Company)
Publication details: Dordrecht Boston Norwell, MA, U.S.A D. Reidel Pub. Co Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers c1988
Availability: Items available for loan: IMAR (1)Call number: II 32031.

3.
Applied proof theory proof interpretations and their use in mathematics U. Kohlenbach by Series: Springer monographs in mathematics
Publication details: Berlin Springer c2008
Availability: Items available for loan: IMAR (1)Call number: II 37266.

4.
5.
Logic for computer science : Foundations of automatic theorem proving Jean H. Gallier, Department of Computer and Information Science, University of Pennsylvania by Series: Dover books on computer science
Edition: Second edition.
Publication details: Mineola, N. Y.: Dover Publications, c2015
Availability: Items available for loan: IMAR (1)Call number: 511.3-GAL.

6.
Symbolic logic and mechanical theorem proving Chin-Liang Chang, Richard Char-Tung Lee by Series: Computer science classics
Publication details: San Diego : Academic Press, [1987], c1973
Online resources:
Availability: Items available for loan: IMAR (1)Call number: 511.3-CHA.

7.
8.
Automated Deduction In Equational Logic And Cubic Curves / W. McCune, R. Padmanabhan by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin: Springer, 1996
Availability: Items available for loan: IMAR (1)Call number: CSR-511.3-MCC.

Pages

Powered by Koha