4th International Workshop on Strategies in Automated Deduction (STRATEGIES 2001)

held in conjunction with IJCAR 2001

in Siena, Italy, June 18, 2001

Proceedings

The proceedings of the workshop are available online as
- strategies01.ps.gz (302 Kb) or
- strategies01.pdf.gz (574 Kb).

The individual contributions can also be accessed via the program webpage.

bibtex entry:

@Proceedings{strategies01,
  title     = {Proc.\ 4th International Workshop on Strategies in 
               Automated Deduction (STRATEGIES 2001)},  
  year      = 2001,
  editor    = {{Maria Paola} Bonacina and Bernhard Gramlich},
  address   = {Siena, Italy},
  month     = june,
  annote    = {118 pages}
}

Post-Workshop Publication of Selected Papers

Selected papers of STRATEGIES 2001 have been published in the Electronic Notes in Computer Science (ENTCS) series of Elsevier as Volume 58 / Issue 2.

bibtex entry:

@Proceedings{strategies01-entcs-58-2,
  title     = {4th International Workshop on Strategies in Automated 
               Deduction (STRATEGIES 2001) - Selected Papers}, 
  year      = 2001,
  editor    = {{Maria Paola} Bonacina and Bernhard Gramlich},
  volume    = 58,
  issue     = 2
  series    = {Electronic Notes in Theoretical Computer Science},
  publisher = {Elsevier Science Publishers}
}