Bibliography

Overview

Tree

Index

Bibliography

FRAMES NO FRAME

&-0 1 2 3 4 5 6 7 8 9 A B C D E F G H I J K L M N O P Q R S T U V W Y Z

Y

Yapay

in: Baaz M. and Fermüller C. G.
"A Resolution principle for Quantificational $S5$ with an Application to Knowledge Representation" (1993)
in: Baaz M. and Fermüller C. G.
"A Resolution principle for Quantificational $S5$ with an Application to Knowledge Representation" (1993)

&-0 1 2 3 4 5 6 7 8 9 A B C D E F G H I J K L M N O P Q R S T U V W Y Z

Overview

Tree

Index

Bibliography

FRAMES NO FRAME

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