[BL1985] Die Anwendung starker Reduktionsregeln in automatischen Beweisen

Tree

Index

Bibliography

[BL1985] Die Anwendung starker Reduktionsregeln in automatischen Beweisen

BaazLeit85OAkWiss (In a collection)
Author(s)	Baaz M. and Leitsch A.
Title	"Die Anwendung starker Reduktionsregeln in automatischen Beweisen"
Date	1985
In	Sitzungsberichte math. naturw. Kl.
Volume	194
Page(s)	287--307
Publisher	Öst. Akad. d. Wiss.

BibTeX code

@incollection{BaazLeit85OAkWiss,
  volume = {194},
  publisher = {\"Ost. Akad. d. Wiss.},
  title = {{Die} {Anwendung} starker {Reduktionsregeln} in automatischen {Beweisen}},
  author = {Baaz, M. and Leitsch, A.},
  year = {1985},
  booktitle = {Sitzungsberichte math. naturw. Kl.},
  pages = {287--307},
}

Overview

Tree

Index

Bibliography

FRAMES NO FRAME

Submit a bug