Functional and Logic Programming Functional and Logic Programming

Functional and Logic Programming

    • US$69.99
    • US$69.99

출판사 설명

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.

장르
컴퓨터 및 인터넷
출시일
2008년
4월 5일
언어
EN
영어
길이
351
페이지
출판사
Springer Berlin Heidelberg
판매자
Springer Nature B.V.
크기
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년