Concepedia

Luis de Ledesma

LD

2

Publications

45

Citations

2

H-Index

1997

Active since

Affiliations

Universidad Politécnica de Madrid(Current)

Luis de Ledesma is an author at Universidad Politécnica de Madrid specializing in automated reasoning, engineering, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningVerificationFormal VerificationKnowledge CompilationKnowledge Representation

Publications per year

1997–1999

2

Publications

2

A computer algebra approach to verification and deduction in many-valued knowledge systems

Luis M. Laita, Eugenio Roanes–Lozano, Luis de Ledesma et al. · Soft Computing · 1999 · 35 citations

Many-valued Knowledge Systems, Decision Procedure, Knowledge Representation +11

A computational approach to George Boole's discovery of mathematical logic

Luis de Ledesma, Aurora Pérez, Daniel Borrajo et al. · Artificial Intelligence · 1997 · 10 citations · Full text

Applied Logic, Computational Logic, Engineering +7

Rows per page

1–2 of 2