Your search returned 7 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia by
Edition: 1st ed
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin: Springer, 2001
Availability: No items available.

Add to cart
2.
Automated theorem proving in software engineering by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin: Springer, 2001
Availability: No items available.

Add to cart
3.
Automated reasoning and its applications : essays in honor of Larry Wos by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge, Mass: MIT Press, 1997
Availability: No items available.

Add to cart
4.
No cover image available No cover image available
Automated mathematical induction by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Boston: Kluwer Academic, 1996
Availability: No items available.

Add to cart
5.
Compositionality : the significant difference : international symposium, COMPOS '97, bad Malente, Germany, September 1997 : revised lectures by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin: Springer, 1998
Availability: Items available for loan: ACL (1)Call number: 004.35 DE.

Place hold Add to cart
6.
Deduction systems by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin: Springer, 1997
Availability: Items available for loan: ACL (1)Call number: 511.3028551 SOC.

Place hold Add to cart
7.
Efficient checking of polynomials and proofs and the hardness of approximation problems by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin: Springer-Verlag, 1995
Availability: Items available for loan: ACL (1)Call number: 512.9422 MAD.

Place hold Add to cart
Pages

Powered by Koha