Search Results
Results 251 - 260 of 922
(page 26 of 93)
Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540746102 |
| Phys. Desc.: | XII, 470 p. online resource. |
| Electronic resource | Texto completo |
Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540366362 |
| Phys. Desc.: | XIV, 474 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540319474 |
| Phys. Desc.: | XIV, 454 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642023484 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Developments in Language Theory 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540316824 |
| Phys. Desc.: | XI, 409 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. |
| ISBN: | 9783540789130 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540378747 |
| Phys. Desc.: | XI, 433 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. |
| ISBN: | 9783540789697 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540334392 |
| Phys. Desc.: | X, 295 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Learning Classifier Systems International Workshops, IWLCS 2003-2005, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540712312 |
| Phys. Desc.: | XII, 345 p. Also available online. online resource. |
| Electronic resource | Texto completo |
