Temas: "Ciencias Informáticas" |
Fecha:"11" |
Idioma:"Inglés" |
Fecha:"2004" |
Temas: "Representación del conocimiento" |
Temas: "Programación lógica" |
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
|