OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Year: 2012 Subject: Lógica Language: Inglés

Sort by Score Title Year -

1-1 from 1 results (0.009 seconds)

Title: Justification Logic as a foundation for certifying mobile computation
Author: Bonelli, Eduardo / Feller, Federico
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Curry-de Bruijn-Howard isomorphism / Justification Logic / Mobile computation / Typed lambda calculus / Lógica

Acceder

« Previous 1 Next »