Search results
From MaRDI portal
- and its application to parallel processing 1987-01-01 Paper Proving self-utterances 1987-01-01 Paper Evidential support logic programming 1987-01-01 Paper...10 bytes (15 words) - 00:50, 23 September 2023
- natural language processing; indexicals; automatic theorem-proving; self-utterances; situated logic Mathematics Subject Classification ID DB lookup for...15 bytes (49 words) - 02:36, 31 January 2024