Franco Sirovich

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
An Evaluation Based Theorem Prover
IEEE Transactions on Pattern Analysis and Machine Intelligence
1985-01-01Paper
scientific article; zbMATH DE number 3700273 (Why is no real title available?)1980-01-01Paper
scientific article; zbMATH DE number 3704013 (Why is no real title available?)1979-01-01Paper
Generalized AND/OR graphs
Artificial Intelligence
1976-01-01Paper
scientific article; zbMATH DE number 3586514 (Why is no real title available?)1976-01-01Paper
scientific article; zbMATH DE number 3509712 (Why is no real title available?)1975-01-01Paper
Some ideas of semantic memory in automatic learning of heuristics
Calcolo
1974-01-01Paper
Isomorfismo fra grafi: un algoritmo efficiente per trovare tutti gli isomorfismi
Calcolo
1972-01-01Paper
Structural descriptions of fingerprint images
Information Sciences
1972-01-01Paper


Research outcomes over time


This page was built for person: Franco Sirovich