[BL1989] Strong Splitting Rules in Automated Theorem Proving

Tree

Index

Bibliography

[BL1989] Strong Splitting Rules in Automated Theorem Proving

BaazLeit89EUROCAL (In proceedings)
Author(s)	Baaz M. and Leitsch A.
Title	"Strong Splitting Rules in Automated Theorem Proving"
Date	1989
In	EUROCAL'87
Editor(s)	Davenport J. H.
Series	LNCS 378
Page(s)	424--425
Publisher	Springer

BibTeX code

@inproceedings{BaazLeit89EUROCAL,
  title = {Strong Splitting Rules in Automated Theorem Proving},
  year = {1989},
  booktitle = {EUROCAL'87},
  pages = {424--425},
  editor = {Davenport, J. H.},
  publisher = {Springer},
  author = {Baaz, M. and Leitsch, A.},
  series = {LNCS˜378},
}

Overview

Tree

Index

Bibliography

FRAMES NO FRAME

Submit a bug