Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[BZ1992b]  Note on Calculi for a Three-Valued Logic for Logic Programming

BaazZach92EATCS (Article)
Author(s)Baaz M. and Zach R.
Title"Note on Calculi for a Three-Valued Logic for Logic Programming"
Dateoct 1992
JournalBulletin of the EATCS
Volume48
Number-
Page(s)157--164

BibTeX code

@article{BaazZach92EATCS,
  journal = {Bulletin of the EATCS},
  month = {oct},
  volume = {48},
  title = {Note on Calculi for a Three-Valued Logic for Logic Programming},
  author = {Baaz, M. and Zach, R.},
  year = {1992},
  pages = {157--164},
}


 Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

Submit a bug

This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)