scientific article; zbMATH DE number 4174905

zbMATH Open0714.03029MaRDI QIDQ3199403FDOQ3199403

Luis de Ledesma, Luis M. Laita

Publication date: 1989

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

Recommendations

• scientific article; zbMATH DE number 3922020
• scientific article
• scientific article
• scientific article
• scientific article

zbMATH Keywords

Booleautomatic theorem provingNonclassical logicsLogic and Artificial IntelligenceLogic of programming

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70) General topics in artificial intelligence (68T01) Other applications of logic (03B80)

Cited In (8)

• Some perspectives on mathematical aspects of artificial intelligence: Logic versus approximation
• Introduction to logic-based artificial intelligence
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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