scientific article; zbMATH DE number 1995176

zbMATH Open1023.68511MaRDI QIDQ4431386FDOQ4431386

Authors: Matthias Baaz, Richard Zach 

Publication date: 21 October 2003

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

Mathematics Subject Classification ID

Many-valued logic (03B50) Logic programming (68N17)

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