scientific article; zbMATH DE number 4176453

zbMATH Open0714.68041MaRDI QIDQ3200542FDOQ3200542

Authors:

Publication date: 1988

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

Recommendations

• Parallel inference search in logical calculus based on the algebraic programming system
• scientific article; zbMATH DE number 4094867
• scientific article; zbMATH DE number 4203769
• Design and analysis of hardware for high-performance prolog
• scientific article; zbMATH DE number 970732

zbMATH Keywords

unificationsearch algorithminference machinecontent-addressable memoryVLSI architecturesmart-memory

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Hardware implementations of nonnumerical algorithms (VLSI algorithms, etc.) (68W35)

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 Q3200542)