𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc. Press 25th International Symposium on Multiple-Valued Logic - Bloomington, IN, USA (23-25 May 1995)] Proceedings 25th International Symposium on Multiple-Valued Logic - Paraconsistent circumscription: first-order case

✍ Scribed by Zuoquan Lin,

Book ID: 126647147
Publisher: IEEE Comput. Soc. Press
Year: 1995
Weight: 532 KB
Category: Article
ISBN-13: 9780818671180
DOI: 10.1109/ISMVL.1995.513518

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc. Press 25th Internatio

[IEEE Comput. Soc. Press 25th International Symposium on Multiple-Valued Logic - Bloomington, IN, USA (23-25 May 1995)] Proceedings 25th International Symposium on Multiple-Valued Logic - Multiple-valued logic design using multiple-valued EXOR

✍ Hozumi, A.; Kamiura, N.; Hata, Y.; Yamato, K. 📂 Article 📅 1995 🏛 IEEE Comput. Soc. Press ⚖ 530 KB

[IEEE Comput. Soc. Press 25th Internatio

[IEEE Comput. Soc. Press 25th International Symposium on Multiple-Valued Logic - Bloomington, IN, USA (23-25 May 1995)] Proceedings 25th International Symposium on Multiple-Valued Logic - Decomposition of multiple-valued functions

✍ Luba, T. 📂 Article 📅 1995 🏛 IEEE Comput. Soc. Press ⚖ 528 KB

[IEEE Comput. Soc. Press 25th Internatio

[IEEE Comput. Soc. Press 25th International Symposium on Multiple-Valued Logic - Bloomington, IN, USA (23-25 May 1995)] Proceedings 25th International Symposium on Multiple-Valued Logic - Join-irreducible clones of multiple valued logic algebra

✍ Pogosyan, G.; Nozaki, A. 📂 Article 📅 1995 🏛 IEEE Comput. Soc. Press ⚖ 522 KB

[IEEE Comput. Soc. Press 25th Internatio

[IEEE Comput. Soc. Press 25th International Symposium on Multiple-Valued Logic - Bloomington, IN, USA (23-25 May 1995)] Proceedings 25th International Symposium on Multiple-Valued Logic - Completeness theory for vector partial multiple-valued logic functions

✍ Romov, B.A. 📂 Article 📅 1995 🏛 IEEE Comput. Soc. Press ⚖ 492 KB

[IEEE Comput. Soc. Press 25th Internatio

[IEEE Comput. Soc. Press 25th International Symposium on Multiple-Valued Logic - Bloomington, IN, USA (23-25 May 1995)] Proceedings 25th International Symposium on Multiple-Valued Logic - Uniqueness of partially specified multiple-valued Kleenean function

✍ Kikuchi, H.; Nakanishi, S.; Takagi, N.; Mukaidono, M. 📂 Article 📅 1995 🏛 IEEE Comput. Soc. Press ⚖ 421 KB

[IEEE Comput. Soc. Press 25th Internatio

[IEEE Comput. Soc. Press 25th International Symposium on Multiple-Valued Logic - Bloomington, IN, USA (23-25 May 1995)] Proceedings 25th International Symposium on Multiple-Valued Logic - Current-mode CMOS multiple-valued logic function realization using a direct cover algorithm

✍ Jain, A.K.; Abd-El-Barr, M.H.; Bolton, R.J. 📂 Article 📅 1995 🏛 IEEE Comput. Soc. Press ⚖ 566 KB