R. Bignall, M. Spinks,
"Multiple-Valued Logics for Theorem-Proving in First Order Logic with Equality,"
Multiple-Valued Logic, IEEE International Symposium on, pp. 102, The 28th International Symposium on Multiple-Valued Logic, 1998.
BibTex
x
@article{
10.1109/ISMVL.1998.679313, author = {R. Bignall and M. Spinks}, title = {Multiple-Valued Logics for Theorem-Proving in First Order Logic with Equality}, journal ={Multiple-Valued Logic, IEEE International Symposium on}, volume = {0}, year = {1998}, issn = {0195-623X}, pages = {102}, doi = {http://doi.ieeecomputersociety.org/10.1109/ISMVL.1998.679313}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }
RefWorks Procite/RefMan/Endnote
x
TY - CONF JO - Multiple-Valued Logic, IEEE International Symposium on TI - Multiple-Valued Logics for Theorem-Proving in First Order Logic with Equality SN - 0195-623X SP EP A1 - R. Bignall, A1 - M. Spinks, PY - 1998 VL - 0 JA - Multiple-Valued Logic, IEEE International Symposium on ER -
R. Bignall, M. Spinks, "Multiple-Valued Logics for Theorem-Proving in First Order Logic with Equality," ismvl, pp.102, The 28th International Symposium on Multiple-Valued Logic, 1998
PURCHASE ARTICLE: $19
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb