Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

&-0123456789ABCDEFGHIJKLMNOPQRSTUVWYZ

I

I
in: Fermüller C. G. and Preining N.
"A dialogie game for Intuitionistic Fuzzy Logic based on comparison of degrees of truth" (2003) 
IASTED
in: Baaz M. and Quirchmayr G.
"Automated Theorem Proving for the Deduction of Knowledge in Databases with Contradictionary Information" (1988) 
Ideals
in: Downey R. and Terwijn S. A.
"Computably enumerable reals and uniformly presentable ideals" (2002) 
Identity
IEEE
Iemhoff R.
Ihre
in: Kuich W.
"Halbringe und ihre Anwendungen in der Automatentheorie" (1991) 
II
IITT
in: Baaz M. and Quirchmayr G.
"Analogical Reasoning in Legal Expert Systems" (1992) 
IJCAR
in: Baaz M., Ciabattoni A., Preining N. and Veith H.
"A Guide to Quantified Propositional Gödel Logic" (2001) 
Ikinci
in: Baaz M. and Fermüller C. G.
"A Resolution principle for Quantificational S5 with an Application to Knowledge Representation" (1993) 
Il
in: Brunner N., Svozil K. and Baaz M.
"Effective quantum observables" (1995) 
Implicit
Incompleteness
Inconsistencies
in: Baaz M. and Hörwein K.
"A New Frame for Common-Sense Reasoning---Towards Local Inconsistencies" (1994) 
Induction
in: Baaz M., Egly U. and Fermüller C. G.
"Lean Induction Principles for Tableaux" (1997) 
Inference
Infinite-valued
Inform
Informaticae
in: Baaz M., Ciabattoni A. and Montagna F.
"Analytic Calculi for Monoidal T-norm Based Logic" (2004) 
Informatics
in: Baaz M. and Quirchmayr G.
"Automated Theorem Proving for the Deduction of Knowledge in Databases with Contradictionary Information" (1988) 
Information
Informationsverarb
in: Kuich W.
"Zur Theorie algebraischer Systeme" (1981) 
Informationsverarbeit
in: Kuich W.
"Systems of pushdown acceptors and context-free grammars" (1970) 
Institut
Institute
Int
Intelligence
in: Baaz M. and Quirchmayr G.
"Analogical Reasoning and Logic Based Knowledge Representation in Business Environments" (1993) 
Intermediate
International
Internationalen
in: Baaz M., Brunner N. and Svozil K.
"Interpretations of Combinatory Algebras" (1993) 
Interpolation
in: Baaz M. and Veith H.
"Interpolation in Fuzzy Logic" (1999) 
Interpretability
in: Iemhoff R.
"Preservativity logic (An analogue of interpretability logic for constructive theories)" (2003) 
Interpretations
in: Baaz M., Brunner N. and Svozil K.
"Interpretations of Combinatory Algebras" (1993) 
Into
Introduction
Intuitionistic
Investigation
in: Ciabattoni A.
"A Proof-theoretical Investigation of Global Intuitionistic (Fuzzy) Logic" (2004) 
ISCIS VIII
in: Baaz M., Fermüller C. G., Quirchmayr G. and Zach R.
"A Many-Valued Logic for Default Reasoning" (1993) 
ISMVL
ISSAC
in: Baaz M. and Leitsch A.
"A Strong Problem Reduction Method Based on Function Introduction" (1990) 
Its
in: Baaz M., Ciabattoni A. and Fermüller C. G.
"Herbrand's Theorem for Prenex Gödel Logic and its Consequences for Theorem Proving" (2001) 

&-0123456789ABCDEFGHIJKLMNOPQRSTUVWYZ
 Overview   Tree   Index 
Bibliography
PREV  NEXT 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)

Valid HTML 4.01!