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

Subject: Lógica Language: Inglés

Sort by Score Title Year -

1-2 from 2 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
Title: Conditional propositions: Problematic performances and didactic strategies
Author: Samper, Carmen / Perry, Patricia / Camargo, Leonor / Echeverry, Armando / Molina, Óscar
Language: Inglés
Repository: 21
Subject: Lógica / Enseñanza

AccederAcceder

« Previous 1 Next »