Biblioteca da Universidade do Minho catalog › Results of search for 'Lawrence C. Paulson'

		Logic and computation / Lawrence C. Paulson Monografia Publication Cambridge : Cambridge University Press, 1990 Description XIII, 302 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		ML for the working programmer / Lawrence C. Paulson Monografia Publication Cambridge : Cambridge University Press, 1996 Description XVIII, 476 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). Reference (1). 1 2 3 4 5 Place hold Add to cart (remove)
		ML for the working programmer / Lawrence C. Paulson Monografia Publication Cambridge : Cambridge University Press, imp. 1993 Description X, 429 p. : il. gráficos ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Isabelle : a generic theorem prover / Lawrence C. Paulson ; colab. Tobias Nipkow Monografia Publication Berlin : Springer-Verlag, cop. 1994 Description XVII, 321 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Isabelle-HOL : a proof assistant for higher-order logic / Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel Monografia Publication Berlin : Springer, cop. 2002 Description XIII, 218 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)

Biblioteca da Universidade do Minho