Your search returned 2 results.

Results
		No cover image available Ground water by Tolman, C.F \| . Series: Lecture notes in computer science ; 5674Edition: Language: English Publication details: New York ; McGraw-Hill, ; 1937Availability: Items available for loan: 1 Call number: 551.49 Tol(3). Place hold Add to cart (remove)
		Theorem proving in higher order logics : 22nd international conference proceedings, TPHOLs, Munich, Germany, Aug. 17-20, 2009 by \| Berghofer, Stefan...[et al.] \| Berghofer, Stefan...[et al.]. Series: Lecture notes in computer science ; 5674Edition: Language: English Publication details: Berlin ; Springer ; 2009Availability: Items available for loan: 1 Call number: 681.3:517.1The:22:09. Place hold Add to cart (remove)

Refine your search