States of affairs as values for formulas
Miroslav Mleziva (1975)
Kybernetika
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Semantics based on states of affairs”
States of affairs as values for formulas
Horn clause programs and recursive functions defined by systems of equations
Jan Šebelík (1982)
Kybernetika
Similarity:
Formalized models of ontological systems
Milan Růžička (1982)
Kybernetika
Similarity: