Hakutulokset - parallel prolog programs functionals function https

Tarkoititko:
programs functionals » programs functional , programming functionals , program functionality
functionals function » function function , functions functional , function dysfunction
parallel prolog » parallel problem , parallel program , parallel parking
prolog programs » prolog programming , problems programs
function https » functions https , fiction https

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

Julkaistu 2010

Sisällysluettelo: “...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”
Hae kokoteksti

Elektroninen E-kirja

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2008

Sisällysluettelo: “... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”
Hae kokoteksti

Elektroninen E-kirja

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Hae kokoteksti

Elektroninen E-kirja

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings /

Julkaistu 2013

Sisällysluettelo: “... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...”
Hae kokoteksti

Elektroninen E-kirja

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings /

Julkaistu 2014

Sisällysluettelo: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
Hae kokoteksti

Elektroninen E-kirja

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...”
Hae kokoteksti

Elektroninen E-kirja

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”
Hae kokoteksti

Elektroninen E-kirja

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua