Rasiowa-Sikorski deduction systems in computer science applications.

From MaRDI portal
Revision as of 11:11, 1 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:1853457

DOI10.1016/S0304-3975(01)00320-6zbMath1058.03029MaRDI QIDQ1853457

Beata Konikowska

Publication date: 21 January 2003

Published in: Theoretical Computer Science (Search for Journal in Brave)




Related Items (12)




Cites Work




This page was built for publication: Rasiowa-Sikorski deduction systems in computer science applications.