Paolo Pecchiari

Available identifiers

zbMath Open pecchiari.paoloMaRDI QIDQ1915138

List of research outcomes

Publication	Date of Publication	Type
Reasoning theories. Toward an architecture for open mechanized reasoning systems	2002-05-21	Paper
https://portal.mardi4nfdi.de/entity/Q4385442	1998-11-10	Paper
Structured proof procedures	1997-03-03	Paper
Interaction with the Boyer-Moore theorem prover: A tutorial study using the arithmetic-geometric mean theorem	1996-06-11	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Paolo Pecchiari