Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
functions conditional » functions functional, functional conditioning, functions computational
programming reasoning » programming learning, programming designing, programming evolving
arrays a » arrays _
functions conditional » functions functional, functional conditioning, functions computational
programming reasoning » programming learning, programming designing, programming evolving
arrays a » arrays _
1
Argitaratua 2006
Aurkibidea:
“... Deductive Synthesis of Lisp Programs in the System ALISA -- A Fault-Tolerant Default Logic -- Reasoning...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2007
Aurkibidea:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2006
Aurkibidea:
“... -- Possibilistic Planning Using Description Logics: A First Step -- Multi-lattices as a Basis for Generalized Fuzzy...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2010
Aurkibidea:
“... Building and Reasoning -- Applications of CBR in Oil Well Drilling: A General Overview -- Data Mining...”Testu osoa
Baliabide elektronikoa
eBook