תוצאות חיפוש - intelligent computer program programmed ((function https) OR (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

Implementation and Application of Functional Languages 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers /

יצא לאור 2011

נושאים: “...Programming languages (Electronic computers)....”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

11

Dynamic Programming A Computational Tool /

מאת Lew, Art., Lew, Art., Mauch, Holger.
יצא לאור 2007

תוכן הענינים: “...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

12

Gene Expression Programming Mathematical Modeling by an Artificial Intelligence /

מאת Ferreira, Candida., Ferreira, Candida.
יצא לאור 2006

תוכן הענינים: “...Introduction: The Biological Perspective -- The Entities of Gene Expression Programming...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

13

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...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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

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...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

18

Linear Genetic Programming

מאת Brameier, Markus F., Brameier, Markus F., Banzhaf, Wolfgang.
יצא לאור 2007

תוכן הענינים: “...Fundamental Analysis -- Basic Concepts of Linear Genetic Programming -- Characteristics...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

19

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...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

20

Programming Logics Essays in Memory of Harald Ganzinger /

יצא לאור 2013

תוכן הענינים: “... Programming: From Theory to Curry -- From Search to Computation: Redundancy Criteria and Simplification...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

צמצם חיפוש