scientific article; zbMATH DE number 4128428

zbMATH Open0688.68082MaRDI QIDQ4207612FDOQ4207612

P. Besnard

Publication date: 1989

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

zbMATH Keywords

artificial intelligenceformal logicreasoning simulation

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (2)

• Title not available (Why is that?)
• Formalizing common sense: an operator-based approach to the Tibbles-Tib problem

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