Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers /
| Corporate Author: | SpringerLink (Online service) |
|---|---|
| Other Authors: | Escobar, Santiago (Editor) |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2010.
|
| Series: | Lecture Notes in Computer Science,
5979 |
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
Similar Items
-
Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers /
Published: (2013) -
Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz /
Published: (2012) -
Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings /
Published: (2017) -
Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
by: Escobar, Santiago
Published: (2010) -
Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings /
Published: (2016)