Number of the records: 1
Declarative and Procedural Semantics of Fuzzy Similarity Based Unification
SYS 0404838 LBL 00000nam^^22^^^^^^^^450 005 20240103181830.2 014 $a 000166986100007 $2 WOS 101 0-
$a eng $d eng 102 $a CZ 200 1-
$a Declarative and Procedural Semantics of Fuzzy Similarity Based Unification 215 $a 14 s. 463 -1
$1 001 cav_un_epca*0297163 $1 011 $a 0023-5954 $1 200 1 $a Kybernetika $v Roč. 36, č. 6 (2000), s. 707-720 $1 210 $c Ústav teorie informace a automatizace AV ČR, v. v. i. 610 1-
$a similarity based unification 610 1-
$a soundness and completeness 610 1-
$a fuzzy logic programming 700 -1
$3 cav_un_auth*0100856 $a Vojtáš $b Peter $p UIVT-O $x X $4 070 $T Ústav informatiky AV ČR, v. v. i. 856 $u http://dml.cz/handle/10338.dmlcz/135382
Number of the records: 1