Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 14 results. Subscribe to this search

|
Selected papers on computer science / Donald E. Knuth Monografia Publication Stanford : CSLI Publications, cop. 1996 Description XII, 274 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Logic and representation / Robert C. Moore Monografia Publication Stanford : CSLI Publications, cop. 1995 Description XIV, 196 p. ; 23 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1).

Place hold Add to cart
Vicious circles : on the mathematics of non-wellfounded phenomena / John Barwise, Lawrence Moss Monografia Publication Stanford : CSLI Publications, cop. 1996 Description X, 390 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Lectures on linear logic / A. S. Troelstra Monografia Publication Stanford : Center for the Study of Language and Information, cop. 1992 Description IX, 200 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). Checked out (1).

Place hold Add to cart
Turing's world 3.0=3.0 for the Macintosth : an introduction to computability theory / Jon Barwise, John Etchemendy Produtos Computador Publication Stanford : SCLI Publications, cop. 1993 Description X, 123 p. ; 23 cm + 1 disquete 3.5 LocationBiblioteca Geral da Universidade do Minho Availability Available (1). Reference (1).

Place hold Add to cart
Mathematics of modality / Robert Goldblatt Monografia Publication Stanford : CSLI Publications, cop. 1993 Description V, 273 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
The philosophical roots of anthropology / William Y. Adams Monografia Publication Stanford : CSLI Publications, cop. 1998 Description XIII, 466 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart
Language and learning for robots / Colleen Crangle, Patrick Suppes Monografia Publication Stanford : CSLI Publications, cop. 1994 Description XXI, 276 p. ; 23 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1).

Place hold Add to cart
Linguistics and computation / ed. Jennifer Cole, Georgia M. Green and Jerry L. Morgan Monografia Publication Stanford, Ca. : CSLI Publications, 1995 Description XI, 296 p. ; 23 cm LocationBiblioteca Vitor Aguiar e Silva Availability Reference (1).

Add to cart
Non-Well-founded sets / Peter Aczel ; foreword Jon Barwise Monografia Publication Menlo Park : CSLI-SRI International, cop. 1988 Description XX, 137 p. : il. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
A lexical approach to italian cliticization / Paola Monachesi Monografia Publication Stanford : CSLI Publications, cop. 1999 Description XV, 247 p. ; 23 cm LocationBiblioteca Vitor Aguiar e Silva Availability Reference (1).

Add to cart
Selected papers on analysis of algorithms / Donald E. Knuth Monografia Publication Stanford : Center for the Study of Language and Information, 2000 Description XVI, 621 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Modal logic and process algebra : a bisimulation perspective / ed. Alban Ponse, Maarten de Rijke, Yde Venema Monografia Publication Stanford : CSLI Publications, cop. 1995 Description XIX, 327 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Approaching second : second position clitics and related phenomena / ed. Aaron L. Halpern, Arnold M. Zwicky Monografia Publication Stanford : Center for the Study of Language and Information, cop. 1996 Description XXIII, 629 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart