Determination of 3-Ary α-Resolution in Lattice-valued Propositional Logic LP(X)

Location
Deutsche Nationalbibliothek Frankfurt am Main
Extent
1 Online-Ressource.
Language
Englisch

Bibliographic citation
Determination of 3-Ary α-Resolution in Lattice-valued Propositional Logic LP(X) ; volume:6 ; number:5 ; day:1 ; month:9 ; year:2013 ; pages:943-953 ; date:9.2013
International journal of computational intelligence systems ; 6, Heft 5 (1.9.2013), 943-953, 9.2013

Creator
Liu, Yi
Jia, Hairui
Xu, Yang
Contributor
SpringerLink (Online service)

DOI
10.1080/18756891.2013.808802
URN
urn:nbn:de:101:1-2024031113335475411957
Rights
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
14.08.2025, 10:59 AM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Associated

  • Liu, Yi
  • Jia, Hairui
  • Xu, Yang
  • SpringerLink (Online service)

Other Objects (12)