dblp.uni-trier.de www.uni-trier.de

2. FTP 1998: Schloss Wilhelminenberg, Vienna, Austria - LNCS Volume

Ricardo Caferra, Gernot Salzer (Eds.): Automated Deduction in Classical and Non-Classical Logics, Selected Papers. Lecture Notes in Computer Science 1761 Springer 2000, ISBN 3-540-67190-0 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
@proceedings{DBLP:conf/ftp/1998,
  editor    = {Ricardo Caferra and
               Gernot Salzer},
  title     = {Automated Deduction in Classical and Non-Classical Logics, Selected
               Papers},
  booktitle = {FTP (LNCS Selection)},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1761},
  year      = {2000},
  isbn      = {3-540-67190-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

Contributed Papers

Copyright © Mon Nov 2 20:37:21 2009 by Michael Ley (ley@uni-trier.de)