Результаты поиска - intelligent computing program program functions https

1

Trends in Functional Programming 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers /

Опубликовано 2015

Оглавление: “... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”
Полный текст

Электронный ресурс eКнига

2

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings /

Опубликовано 2008

Оглавление: “...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”
Полный текст

Электронный ресурс eКнига

3

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Опубликовано 2006

Оглавление: “... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”
Полный текст

Электронный ресурс eКнига

4

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

Опубликовано 2010

Оглавление: “...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”
Полный текст

Электронный ресурс eКнига

5

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /

Опубликовано 2014

Предметы: “...Programming languages (Electronic computers)....”
Полный текст

Электронный ресурс eКнига

6

Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings /

Опубликовано 2012

Предметы: “...Programming languages (Electronic computers)....”
Полный текст

Электронный ресурс eКнига

7

Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers /

Опубликовано 2011

Предметы: “...Programming languages (Electronic computers)....”
Полный текст

Электронный ресурс eКнига

8

Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings /

Опубликовано 2011

Предметы: “...Programming languages (Electronic computers)....”
Полный текст

Электронный ресурс eКнига

9

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers /

Опубликовано 2010

Оглавление: “... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”
Полный текст

Электронный ресурс eКнига

10

Dynamic Programming A Computational Tool /

по Lew, Art., Lew, Art., Mauch, Holger.
Опубликовано 2007

Оглавление: “...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
Полный текст

Электронный ресурс eКнига

11

Gene Expression Programming Mathematical Modeling by an Artificial Intelligence /

по Ferreira, Candida., Ferreira, Candida.
Опубликовано 2006

Оглавление: “...Introduction: The Biological Perspective -- The Entities of Gene Expression Programming...”
Полный текст

Электронный ресурс eКнига

12

DNA Computing and Molecular Programming 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013, Proceedings /

Опубликовано 2013

Оглавление: “...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”
Полный текст

Электронный ресурс eКнига

13

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Книга

14

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Книга

15

Linear Genetic Programming

по Brameier, Markus F., Brameier, Markus F., Banzhaf, Wolfgang.
Опубликовано 2007

Оглавление: “...Fundamental Analysis -- Basic Concepts of Linear Genetic Programming -- Characteristics...”
Полный текст

Электронный ресурс eКнига

16

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings /

Опубликовано 2007

Оглавление: “... for Computation Tree Logic -- Extending a Resolution Prover for Inequalities on Elementary Functions -- Model...”
Полный текст

Электронный ресурс eКнига

17

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Опубликовано 2005

Оглавление: “... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”
Полный текст

Электронный ресурс eКнига

18

Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /

Опубликовано 2015

Оглавление: “... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”
Полный текст

Электронный ресурс eКнига

19

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Опубликовано 2008

Оглавление: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Полный текст

Электронный ресурс eКнига

20

Programming Logics Essays in Memory of Harald Ganzinger /

Опубликовано 2013

Оглавление: “... Programming: From Theory to Curry -- From Search to Computation: Redundancy Criteria and Simplification...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска