Intranet
RESEARCH
RESEARCH GROUPS
MULTIAGENT SYSTEMS
LEARNING SYSTEMS
LOGIC & REASONING
RESEARCH THEMES
ETHICS AND AI
AI AND EDUCATION
AI FOR HEALTHCARE
ASSOCIATED UNITS
PROJECTS
PUBLICATIONS
THESES
ENGAGEMENT
PUBLIC ENGAGEMENT
ACADEMIC ENGAGEMENT
INDUSTRY ENGAGEMENT
TECHNOLOGY TRANSFER & DEVELOPMENT UNIT (UDT)
EDUCATION
PHD STUDIES
APPLY
PEOPLE
STAFF & STUDENTS
ALUMNI
OPEN POSITIONS
NEWS & EVENTS
NEWS
EVENTS
SEMINARS
OPEN PROJECT CALLS
ABOUT
MESSAGE FROM THE DIRECTOR
IIIA IN THE MEDIA
AWARDS & HONOURS
HOW TO GET TO IIIA
CONTACT US
SEARCH
Proof Procedures for Multiple-Valued Propositional Logics
Proof Procedures for Multiple-Valued Propositional Logics
Felip
Felip
Manyà
Manyà
(
)
Proof Procedures for Multiple-Valued Propositional Logics
Proof Procedures for Multiple-Valued Propositional Logics
[PDF]
/media/publications/MONOG_9_F.MANYA.pdf
An industrial PhD
Advisors:
Gonzalo E. Imaz
Gonzalo E. Imaz
University:
Abstract: