Functional and Logic Programming Functional and Logic Programming

Functional and Logic Programming

    • 69,99 $US
    • 69,99 $US

Description de l’éditeur

This book constitutes the refereed proceedings of the 9th International Symposium on Functional and Logic Programming, FLOPS 2008. The 20 revised full papers, together with 3 invited contributions were carefully reviewed and selected from 59 submissions.

GENRE
Informatique et Internet
SORTIE
2008
5 avril
LANGUE
EN
Anglais
LONGUEUR
351
Pages
ÉDITIONS
Springer Berlin Heidelberg
VENDEUR
Springer Nature B.V.
TAILLE
15,5
Mo
Automated Reasoning Automated Reasoning
2008
Automated Reasoning Automated Reasoning
2010
Automated Deduction -- CADE-23 Automated Deduction -- CADE-23
2011
Automated Deduction – CADE-21 Automated Deduction – CADE-21
2007
Functional and Logic Programming Functional and Logic Programming
2010
Logic Programming and Nonmonotonic Reasoning Logic Programming and Nonmonotonic Reasoning
2007