Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
programs functionality » program functionality, programs functional, properties functionality
functionality function » functionals function, functionaries function, functional functions
parallel prolog » parallel problem, parallel program, parallel parking
prolog programs » prolog programming, problems programs
function https » functions https, fiction https
programs functionality » program functionality, programs functional, properties functionality
functionality function » functionals function, functionaries function, functional functions
parallel prolog » parallel problem, parallel program, parallel parking
prolog programs » prolog programming, problems programs
function https » functions https, fiction https
1
Argitaratua 2010
Aurkibidea:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2006
Aurkibidea:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2008
Aurkibidea:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2005
Aurkibidea:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2013
Aurkibidea:
“... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2014
Aurkibidea:
“... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2010
Aurkibidea:
“...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2007
Aurkibidea:
“...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2008
Aurkibidea:
“... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”Testu osoa
Baliabide elektronikoa
eBook