[BCPV2001] A Guide to Quantified Propositional Gödel Logic

Tree

Index

Bibliography

[BCPV2001] A Guide to Quantified Propositional Gödel Logic

BCPV01IJCAR (Miscellaneous document)
Author(s)	Baaz M., Ciabattoni A., Preining N. and Veith H.
Title	"A Guide to Quantified Propositional Gödel Logic"
Date	June 2001
Note	Siena

BibTeX code

@misc{BCPV01IJCAR,
  month = {June},
  howpublished = {IJCAR workshop QBF 2001},
  title = {A Guide to Quantified Propositional {G}{\"o}del Logic},
  author = {Baaz, M. and Ciabattoni, A. and Preining, N. and Veith, H.},
  year = {2001},
  note = {Siena},
}

Overview

Tree

Index

Bibliography

FRAMES NO FRAME

Submit a bug