The theory of function structure models

MaRDI QIDQ5437093zbMATH OpenFDO

Authors V. B. Novoseltsev

Publication date 18 January 2008

Full work available at URL https://eudml.org/doc/54784, http://www.emis.de/journals/SMZ/2006/06/1342.htm

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

formal theorynonprocedural descriptionrecursiontheorem proving

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Principles of organization of a knowledge base on special functions
• scientific article; zbMATH DE number 4092818
• Modelling of logical knowledge and knowledge-based deduction by means of a relational database management system
• scientific article; zbMATH DE number 2200719
• scientific article; zbMATH DE number 3850495

Cited in

(5)

• Principles of organization of a knowledge base on special functions
• Algebraic-algorithmic means for designing knowledge of object domains
• scientific article; zbMATH DE number 4062639 (Why is no real title available?)
• scientific article; zbMATH DE number 4122653 (Why is no real title available?)
• The Functional Role of Structures in Bourbaki

This page was built for publication: The theory of function structure models

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