Functional and Logic Programming Functional and Logic Programming

Functional and Logic Programming

    • £49.99
    • £49.99

Publisher Description

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
Computing & Internet
RELEASED
2008
5 April
LANGUAGE
EN
English
LENGTH
351
Pages
PUBLISHER
Springer Berlin Heidelberg
SIZE
15.5
MB
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