Proof and computation /
Guardado en:
Autores Corporativos: | , |
---|---|
Otros Autores: | |
Formato: | Libro |
Idioma: | English |
Publicado: |
Berlin ; New York :
Springer,
c1995.
|
Series: | NATO ASI series. Computer and systems sciences ;
no. 139. |
Materias: | |
Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
BIB. COMPUTACION
Volumen/Tomo: No especificado
Ejemplares: 1
Signatura:
Signatura: