Zhirui Lu

2007
2	EE	Jun Liu, Luis Martínez, Yang Xu, Zhirui Lu: Satisfiability in a Linguistic-Valued Logic and Its Quasi-horn Clause Inference Framework. IFSA (2) 2007: 629-639
1	EE	Jun Liu, Luis Martinez Lopez, Yang Xu, Zhirui Lu: Automated Reasoning Algorithm for Linguistic Valued Lukasiewicz Propositional Logic. ISMVL 2007: 29

Coauthor Index

1	Jun Liu	[1] [2]
2	Luis Martinez Lopez	[1]
3	Luis Martínez	[2]
4	Yang Xu	[1] [2]