Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
programming reasoning » programming learning, programming designing, programming evolving
function function » function functional, functions functional, function dysfunction
reasoning https » poisoning https, reasoning haptic
https function » its function, sites function, ups function
function https » functions https, fiction https
programming reasoning » programming learning, programming designing, programming evolving
function function » function functional, functions functional, function dysfunction
reasoning https » poisoning https, reasoning haptic
https function » its function, sites function, ups function
function https » functions https, fiction https
1
Опубликовано 2008
Оглавление:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2006
Оглавление:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2005
Оглавление:
“... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”Полный текст
Электронный ресурс
eКнига
4
Оглавление:
“...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
Полный текст
Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2013
Оглавление:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2007
Оглавление:
“...Invited Talks/Competition -- Logic Programming and Nonmonotonic Reasoning: From Theory to Systems...”Полный текст
Электронный ресурс
eКнига
7
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Опубликовано 2006
Оглавление:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2007
Оглавление:
“... Programs with Function Symbols -- The Complexity of Temporal Logic with Until and Since over Ordinals...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2005
Оглавление:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Полный текст
Электронный ресурс
eКнига
10
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Опубликовано 2013
Оглавление:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2008
Оглавление:
“... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2010
Оглавление:
“... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”Полный текст
Электронный ресурс
eКнига
13
Опубликовано 2006
Оглавление:
“... -- Specifying and Reasoning About Dynamic Access-Control Policies -- On Keys and Functional Dependencies...”Полный текст
Электронный ресурс
eКнига
14
Опубликовано 2008
Оглавление:
“...Invited Talks -- Case-Based Reasoning in the Health Sciences: Why It Matters for the Health...”Полный текст
Электронный ресурс
eКнига
15
Опубликовано 2008
Оглавление:
“... Representation Languages and Reasoning Engines -- On Extending RuleML for Modal Defeasible Logic -- Adding...”Полный текст
Электронный ресурс
eКнига
16
Опубликовано 2015
Оглавление:
“... -- Classification -- Inconsistency -- Graphical models -- Bayesian Networks -- Belief functions -- Logic...”Полный текст
Электронный ресурс
eКнига
17
Опубликовано 2011
Предметы:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Полный текст
Электронный ресурс
eКнига
18
Опубликовано 2010
Оглавление:
“...Abduction, Problem Solving, and Practical Reasoning -- Virtuous Distortion -- Naturalizing Peirce’s...”Полный текст
Электронный ресурс
eКнига
19
Опубликовано 2005
Оглавление:
“... Reasoning -- Learning to Optimize Plan Execution in Information Agents -- Cased-Based Reasoning by Human...”Полный текст
Электронный ресурс
eКнига
20
Опубликовано 2007
Оглавление:
“... Search in Knowledge Sifter -- Usages of Generalization in Case-Based Reasoning -- Research Papers -- Team...”Полный текст
Электронный ресурс
eКнига