Selected papers from the Fourth Workshop on Strategies in Automated Deduction, satellite workshop of the First International Joint Conference on Automated Reasoning (IJCAR), Siena, Italy, June 2001
Fourth workshop on strategies in automated deduction: selected papers
BONACINA, Maria Paola;
2001-01-01
Abstract
Selected papers from the Fourth Workshop on Strategies in Automated Deduction, satellite workshop of the First International Joint Conference on Automated Reasoning (IJCAR), Siena, Italy, June 2001
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.
