Advances in Artificial Intelligence – SBIA 2004

DOI10.1007/B100195zbMATH Open1105.68431OpenAlexW2487701457MaRDI QIDQ5311242

Peep Küngas

Publication date: 22 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b100195

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (2)

Intelligent Backtracking in Plan-Based Deduction ⋮ Coordination: Reo, Nets, and Logic

This page was built for publication: Advances in Artificial Intelligence – SBIA 2004

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