<?xml version="1.0" encoding="utf-8"?>
<?xml-stylesheet type="text/xsl" href="style/detail_T.xsl"?>
<bibitem type="C">   <ARLID>0409122</ARLID> <utime>20240103182048.7</utime><mtime>20060210235959.9</mtime>        <title language="eng" primary="1">A new proof of completeness of fuzzy logic and some conclusions for approximate reasoning</title> <part_num>1</part_num>  <publisher> <place>Yokohama</place> <name>IEEE</name> <pub_time>1995</pub_time> </publisher>   <serial><title>Transactions of Fuzzy - IEEE/IFES '95</title><part_num/><part_title/><page_num>1461-1468</page_num></serial>   <author primary="1"> <ARLID>cav_un_auth*0101170</ARLID> <name1>Novák</name1> <name2>Vilém</name2> <institution>UTIA-B</institution>  <fullinstit>Ústav teorie informace a automatizace AV ČR, v. v. i.</fullinstit> </author>     <COSATI>12A</COSATI>    <cas_special> <project> <project_id>IAA1086501</project_id> <agency>GA AV ČR</agency> <ARLID>cav_un_auth*0012797</ARLID> </project> <action target=""> <ARLID>cav_un_auth*0212111</ARLID> <name>Fuzzy - IEEE/IFES '95</name> <place>Yokohama</place> <country>JP</country> <dates>20.03.1995-24.03.1995</dates> </action>      <department>E</department>    <permalink>http://hdl.handle.net/11104/0129223</permalink>    <ID_orig>UTIA-B 950117</ID_orig>    <arlyear>1995</arlyear>       <unknown tag="mrcbU10"> 1995 </unknown> <unknown tag="mrcbU10"> Yokohama IEEE </unknown> <unknown tag="mrcbU63"> Transactions of Fuzzy - IEEE/IFES '95 1461 1468 </unknown> </cas_special> </bibitem>