![]() |
@incollection{DBLP:books/sp/wooldridgeV99/Bonacina99,
author = {Maria Paola Bonacina},
title = {A Taxonomy of Theorem-Proving Strategies},
booktitle = {Artificial Intelligence Today},
year = {1999},
pages = {43-84},
ee = {http://link.springer.de/link/service/series/0558/bibs/1600/16000043.htm},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2002-01-03 by Michael Ley (ley@uni-trier.de)