Fecha:"2000" |
Fecha:"10t11" |
Temas: "Ciencias Informáticas" |
Fecha:"2004" |
Fecha:"13z" |
Temas: "Inteligencia artificial" |
Temas: "Representación del conocimiento" |
Temas: "many-valued logics; foundations of computing science; knowledge representation; philosophy of computer science; deductive systems; epistemology" |
1.
|
A five-valued logic and a system Ferreira, Ulisses
|