scientific article; zbMATH DE number 861644

zbMATH Open0847.68092MaRDI QIDQ4871287FDOQ4871287

Authors: Mihaly Lenart, Ana Pasztor 

Publication date: 20 July 1996

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

zbMATH Keywords

first-order many-sorted logic

Mathematics Subject Classification ID

Classical first-order logic (03B10) General topics in artificial intelligence (68T01)

Cited In (1)

• Logical design of discrete devices with the use of the production-frame model of knowledge representation. II

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