Reasoning about Belief and Knowledge with Self-Reference and Time
Autor: | Asher, Nicholas |
---|---|
Přispěvatelé: | Grélaud, Françoise, Vardi, Moshe |
Jazyk: | angličtina |
Rok vydání: | 1988 |
Předmět: | |
Databáze: | OpenAIRE |
Externí odkaz: |
načítá se...
Autor: | Asher, Nicholas |
---|---|
Přispěvatelé: | Grélaud, Françoise, Vardi, Moshe |
Jazyk: | angličtina |
Rok vydání: | 1988 |
Předmět: | |
Databáze: | OpenAIRE |
Externí odkaz: |