BibTeX record phd/hal/Zabel93

download as .bib file

  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
  school    = {Grenoble Institute of Technology, France},
  year      = {1993},
  url       = {},
  timestamp = {Wed, 13 Jul 2016 16:59:27 +0200},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}
maintained by Schloss Dagstuhl LZI, founded at University of Trier