Semantics based on states of affairs
Miroslav Mleziva (1975)
Kybernetika
Similarity:
Displaying similar documents to “A note on the structure of certain predicates concerning the sublanguages of ALGOL 60”
Semantics based on states of affairs
Formalized models of ontological systems
Milan Růžička (1982)
Kybernetika
Similarity:
Horn clause programs and recursive functions defined by systems of equations
Jan Šebelík (1982)
Kybernetika
Similarity: