scientific article; zbMATH DE number 928017

MaRDI QIDQ4893670zbMATH OpenFDO

Authors

Publication date 15 December 1996

zbMATH Keywords

ESPRITMEDLAR

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Cited in

(1)

• scientific article; zbMATH DE number 125125 (Why is no real title available?)

Describes a project that uses

Uses Software

• MEDLAR

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