BibTeX record phd/hal/Zabel93

download as .bib file

@phdthesis{DBLP:phd/hal/Zabel93,
  author    = {Nicolas Zabel},
  title     = {Nouvelles techniques de d{\'{e}}duction automatiques en logiques
               polyvalentes finies et infinies du premier ordre. (New techniques
               for automated deduction in finite and infinite, first-order many-valued
               logics)},
  school    = {Grenoble Institute of Technology, France},
  year      = {1993},
  url       = {https://tel.archives-ouvertes.fr/tel-00343402},
  timestamp = {Wed, 13 Jul 2016 16:59:27 +0200},
  biburl    = {https://dblp.org/rec/bib/phd/hal/Zabel93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier