Selected papers from the Fifth Workshop on Strategies in Automated Deduction, satellite of the Second International Joint Conference on Automated Reasoning (IJCAR), Cork, Ireland, July 2004
Fifth workshop on strategies in automated deduction: selected papers
BONACINA, Maria Paola;
2005-01-01
Abstract
Selected papers from the Fifth Workshop on Strategies in Automated Deduction, satellite of the Second International Joint Conference on Automated Reasoning (IJCAR), Cork, Ireland, July 2004
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
