scientific article; zbMATH DE number 885180

zbMATH Open0845.68039MaRDI QIDQ4880495

Jaakko Hintikka

Publication date: 6 June 1996

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

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) General topics in artificial intelligence (68T01) Second- and higher-order model theory (03C85) Distributed algorithms (68W15) Other applications of logic (03B80)

Related Items (1)

To Parallelize or to Optimize?

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)