4

4th

• in: Baaz M. and Fermüller C. G.
  "Non-elementary Speedups between Different Versions of Tableaux" (1995)
• in: Baaz M. and Quirchmayr G.
  "Analogical Reasoning and Logic Based Knowledge Representation in Business Environments" (1993)
• in: Baaz M., Galindo F., Quirchmayr G. and Vázqez M.
  "The Application of Kripke-Type Structures to Regional Development Processes" (1993)

Submit a bug

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