Automated Deduction - A Basis for Applications

Sven-Erik BornscheuerSven-Erik Bornscheuer, Steffen HölldoblerSteffen Hölldobler, Yvonne KalinkeYvonne Kalinke, Antje StrohmaierAntje Strohmaier

Sven-Erik Bornscheuer, Steffen Hölldobler, Yvonne Kalinke, Antje Strohmaier
Automated Deduction - A Basis for Applications
In P. H. Schmitt W. Bibel, eds., , volume II, chapter Massively Parallel Reasoning, 291-321. Kluwer Academic Publishers, 1998

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@incollection{BHKS1998,
  author    = {Sven-Erik Bornscheuer and Steffen H{\"{o}}lldobler and Yvonne
               Kalinke and Antje Strohmaier},
  title     = {Automated Deduction - A Basis for Applications},
  editor    = {P. H. Schmitt W. Bibel},
  volume    = {II},
  publisher = {Kluwer Academic Publishers},
  year      = {1998},
  pages     = {291-321}
}