About this scholarly article

Proceedings 1999 29th IEEE International Symposium on Multiple-Valued Logic (Cat. No.99CB36329) - Representation theorems and theorem proving in non-classical logics by Sofronie-Stokkermans, V. is a scholarly article available to read on EtoBox.

Author

Sofronie-Stokkermans, V.

Publisher

IEEE Comput. Soc

Published

1999

Language

EN