SITE TREE
About IIIA
Departments
Research
Technology Transfer
People
Activities
Library
Monographs
Join Us
Last Ph Ds
Distributed Constraint Optimization Related with Soft Arc Consistency
Using Norms to Control Open Multi-agent Systems
Facing the challenge of automated negotiation with humans
Trust Alignment and Adaptation: Two Approaches for Talking about Trust in Multi-Agent Systems
Intelligent Generation and Control of Interactive Virtual Worlds
Encodings and Benchmarks for MaxSAT Solving
Fuzzy Description Logics from a Mathematical Fuzzy Logic point of view,
Read more >>
Català
English
Español
Home
Contact
Web Map
LOGIN
Proof Procedures for Multiple-Valued Propositional Logics
Author:
Felip Manyà
Year:
1996
Advisor:
Gonzalo Escalada-Imaz
»
Printer-friendly version
desarrollo web innodus
