Special issue: Classical logic and computation. Selected papers based on the presentations at the workshop (CLAC 2010), Brno, Czech Republic, August 22, 2010
From MaRDI portal
Publication:1945243
zbMATH Open1320.03009MaRDI QIDQ1945243
Author name not available (Why is that?)
Publication date: 5 April 2013
Published in: (Search for Journal in Brave)
No records found.
This page was built for publication: Special issue: Classical logic and computation. Selected papers based on the presentations at the workshop (CLAC 2010), Brno, Czech Republic, August 22, 2010
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1945243)