[BM2001] On a generalisation of Herbrand's theorm
BM01CSL (In a collection)
|
Author(s) | Baaz M. and Moser G. |
Title | "On a generalisation of Herbrand's theorm" |
Date | 2001 |
In | Proc. of the CSL 2001 |
Number | 2142 |
Series | LNCS |
Page(s) | 469-483 |
Publisher | Springer |
@incollection{BM01CSL,
publisher = {Springer},
title = {On a generalisation of {H}erbrand's theorm},
author = {Baaz, M. and Moser, G.},
year = {2001},
booktitle = {Proc. of the CSL 2001},
pages = {469-483},
series = {LNCS},
number = {2142},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)