scientific article; zbMATH DE number 885180

zbMATH Open0845.68039MaRDI QIDQ4880495FDOQ4880495

Authors: Jaakko Hintikka 

Publication date: 6 June 1996

Title of this publication is not available (Why is that?)

Recommendations

• Parallel versus sequential processing of relational stimulus structures
• Parallelism in deductive inference on graph structures
• A system of parallel inference with the use of a connection graph
• scientific article; zbMATH DE number 3860373

zbMATH Keywords

parallel distributed processingbranching-quantifierindependent-friendly first-order logic

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Distributed algorithms (68W15) General topics in artificial intelligence (68T01) Other applications of logic (03B80) Second- and higher-order model theory (03C85)

Cited In (2)

• To Parallelize or to Optimize?
• Why parallel computer processing systems are preferred to serial computer processing systems: a formal discussion

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4880495)