Information and Knowledge A Constructive Type-theoretical Approach /

Guardat en:
Dades bibliogràfiques
Autor principal: Primiero, Giuseppe
Autor corporatiu: SpringerLink (Online service)
Format: Electrònic eBook
Idioma:anglès
Publicat: Dordrecht : Springer Netherlands, 2008.
Col·lecció:Logic, Epistemology, and the Unity of Science ; 10
Matèries:
Accés en línia:http://dx.doi.org/10.1007/978-1-4020-6170-7
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
Search Result 1

Information and Knowledge A Constructive Type-theoretical Approach / per Primiero, Giuseppe

Publicat 2008
Obtenir text complet
Electrònic eBook