Atención: recuerde que este es un catálogo parcial de nuestra colección.
Búsqueda por serie: Monographs in Computer Science,
Resultado 1 de 3
 
e-book

Adapting Proofs-as-Programs : The Curry-Howard Protocol

by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley.

New York, NY : Springer Science+Business Media Inc., 2005.

v.: digital

Serie: Monographs in Computer Science, ISSN 0172-603X

ISBN: 9780387281834

 
Registro springer:978-0-387-23759-6 · Modificado: 26/03/2010

Explorar índices alfabéticos


Ingrese las primeras letras del autor o título que busca. Omita artículos iniciales en títulos.

Búsquedas por tema: explore la MSC 2000

¿Necesita ayuda?

Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.

Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com

Enlaces surtidos