Marco Temperini

From MaRDI portal
Person:167069

Available identifiers

zbMath Open temperini.marcoMaRDI QIDQ167069

List of research outcomes





PublicationDate of PublicationType
Layered map reasoning: an experimental approach put to trial on sets2013-05-24Paper
https://portal.mardi4nfdi.de/entity/Q45396042002-07-10Paper
Goals and benchmarks for automated map reasoning2001-03-19Paper
https://portal.mardi4nfdi.de/entity/Q43629031998-03-17Paper
https://portal.mardi4nfdi.de/entity/Q43629061998-03-17Paper
https://portal.mardi4nfdi.de/entity/Q43629011997-12-14Paper
https://portal.mardi4nfdi.de/entity/Q43628941997-11-13Paper
Subtyping inheritance and its application in languages for symbolic computation systems1995-09-10Paper
https://portal.mardi4nfdi.de/entity/Q40267621993-02-21Paper
Abstract specification of structures and methods in symbolic mathematical computation1993-01-17Paper

Research outcomes over time

This page was built for person: Marco Temperini

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:167069&oldid=10381586"
Powered by MediaWiki