Search Results
Results 411 - 420 of 922
(page 42 of 93)
A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642143090 |
| Phys. Desc.: | XIV, 329p. online resource. |
| Electronic resource | Texto completo |
Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642175114 |
| Phys. Desc.: | X, 517p. online resource. |
| Electronic resource | Texto completo |
Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2012. |
| ISBN: | 9783642351822 |
| Phys. Desc.: | XII, 389 p. 104 illus. online resource. |
| Electronic resource | Texto completo |
Programming Languages and Systems 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642253188 |
| Phys. Desc.: | XI, 372p. online resource. |
| Electronic resource | Texto completo |
Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642171642 |
| Phys. Desc.: | X, 440p. 48 illus. online resource. |
| Electronic resource | Texto completo |
Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642106729 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Implementation and Application of Functional Languages 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642164781 |
| Phys. Desc.: | IX, 237p. 107 illus. online resource. |
| Electronic resource | Texto completo |
Implementation and Application of Functional Languages 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642244520 |
| Phys. Desc.: | X, 291p. online resource. |
| Electronic resource | Texto completo |
Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642228636 |
| Phys. Desc.: | XI, 383 p. online resource. |
| Electronic resource | Texto completo |
Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642027345 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
