Toggle navigation
Labra's home page
Home
Publications
Posts
Projects
Teaching
Talks
Other
Contact
Lógica proposicional para informática
Jose Emilio Labra Gayo
Ana I. Fernández
Abstract
Type
Lecture notes
Publication
Ed. Servitec, Num. 12, ISBN: 84-8416-613-9
Date
October, 1998
Tags
Logic
Propositional-Logic
Links
PDF
←
An Implementation of Modular Monadic Semantics using Folds and Monadic Folds
Ejercicios de lógica informática
→