Functional and Logic Programming

11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings

Tom Schrijvers, Peter Thiemann (Herausgeber)

Buch | Softcover

X, 333 Seiten

2012
Springer Berlin (Verlag)
978-3-642-29821-9 (ISBN)

Infos

This book constitutes the refereed proceedings of the 11th International Symposium on Functional and Logic Programming, FLOPS 2012, held in Kobe, Japan, in May 2012.The 19 research papers and 3 system demonstrations presented in this volume were carefully reviewed and selected from 39 submissions. They deal with declarative programming, including functional programming and logic programming.

Produkt-Details

• Erscheint lt. Verlag: 4.5.2012
• Reihe/Serie: Lecture Notes in Computer Science
• Reihe/Serie: Theoretical Computer Science and General Issues
• Zusatzinfo: X, 333 p. 69 illus.
• Verlagsort: Berlin
• Sprache: englisch
• Maße: 155 x 235 mm
• Gewicht: 484 g
• Themenwelt: Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
• Themenwelt: Mathematik / Informatik ► Informatik ► Software Entwicklung
• Themenwelt: Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
• Schlagworte: Calculi • Classical Logic • Constraint Programming • first-order set theory • solver integration
• ISBN-10: 3-642-29821-4 / 3642298214
• ISBN-13: 978-3-642-29821-9 / 9783642298219
• Zustand: Neuware