Y-logic

From MaRDI portal

Jump to:navigation, search

MaRDI QIDQ14150swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=107723

Cited in

(1)

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

This page was built for software: Y-logic

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Y-logic&oldid=56527758"