نتائج البحث - intelligence computer 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...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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...”
احصل على النص الكامل

الكتروني كتاب الكتروني

5

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

منشور في 2014

الموضوعات: “...Programming languages (Electronic computers)....”
احصل على النص الكامل

الكتروني كتاب الكتروني

6

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

منشور في 2012

الموضوعات: “...Programming languages (Electronic computers)....”
احصل على النص الكامل

الكتروني كتاب الكتروني

7

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

منشور في 2011

الموضوعات: “...Programming languages (Electronic computers)....”
احصل على النص الكامل

الكتروني كتاب الكتروني

8

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

منشور في 2011

الموضوعات: “...Programming languages (Electronic computers)....”
احصل على النص الكامل

الكتروني كتاب الكتروني

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...”
احصل على النص الكامل

الكتروني كتاب الكتروني

10

Dynamic Programming A Computational Tool /

بواسطة Lew, Art., Lew, Art., Mauch, Holger.
منشور في 2007

جدول المحتويات: “...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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...”
احصل على النص الكامل

الكتروني كتاب الكتروني

13

Linear Genetic Programming

بواسطة Brameier, Markus F., Brameier, Markus F., Banzhaf, Wolfgang.
منشور في 2007

جدول المحتويات: “...Fundamental Analysis -- Basic Concepts of Linear Genetic Programming -- Characteristics...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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...”
احصل على النص الكامل

الكتروني كتاب الكتروني

15

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...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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...”
احصل على النص الكامل

الكتروني كتاب الكتروني

17

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...”
احصل على النص الكامل

الكتروني كتاب الكتروني

18

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...”
احصل على النص الكامل

الكتروني كتاب الكتروني

19

Programming Logics Essays in Memory of Harald Ganzinger /

منشور في 2013

جدول المحتويات: “... Programming: From Theory to Curry -- From Search to Computation: Redundancy Criteria and Simplification...”
احصل على النص الكامل

الكتروني كتاب الكتروني

20

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...”
احصل على النص الكامل

الكتروني كتاب الكتروني

تضييق البحث