Home Advanced Search

Advanced Search - Page 1

Multiple-valued Logic
  • PDF
  • English
  • Author: Schmitt P.H., Mundici D., Zadeh L. (eds)
Formal Specification and Verification
  • PDF
  • English
  • Author: Schmitt P.H.
Advanced Łukasiewicz calculus and MV-algebras
  • PDF
  • English
  • Year: 2011
  • Author: D. Mundici
A Cantor-Bernstein Theorem for Complete MV-Algebras
  • PDF
  • English
  • Year: 2003
  • Author: De Simone A., Mundici D.
An Introduction to Applied Linguistics
  • PDF
  • English
  • Year: 2020
  • Author: Norbert Schmitt; Michael P.H. Rodgers
Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Peter B. Andrews, Matthew Bishop (auth.), P. Miglioli, U. Moscato, D. Mundici, M. Ornaghi (eds.)
Learning Systems and Intelligent Robots
  • PDF
  • English
  • Year: 1974
  • Author: L. A. Zadeh (auth.), K. S. Fu, Julius T. Tou (eds.)