Search Results
Results 761 - 770 of 922
(page 77 of 93)
Language and Automata Theory and Applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642130892 |
| Phys. Desc.: | XIV, 622p. 92 illus. online resource. |
| Electronic resource | Texto completo |
Modelling and Reasoning with Vague Concepts
E-book
E-book
| Publisher: | Boston, MA : Springer US, 2006. |
| ISBN: | 9780387302621 |
| Phys. Desc.: | XXV, 246 p. online resource. |
| Electronic resource | Texto completo |
Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642406720 |
| Phys. Desc.: | X, 193 p. 55 illus. online resource. |
| Electronic resource | Texto completo |
Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642250705 |
| Phys. Desc.: | X, 259 p. online resource. |
| Electronic resource | Texto completo |
Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642139628 |
| Phys. Desc.: | XIV, 450p. 37 illus. online resource. |
| Electronic resource | Texto completo |
Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540322528 |
| Phys. Desc.: | X, 217 p. Also available online. online resource. |
| Electronic resource | Texto completo |
AI*IA 2013: Advances in Artificial Intelligence XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings
E-book
E-book
| Publisher: | Cham : Springer International Publishing : 2013. |
| ISBN: | 9783319035246 |
| Phys. Desc.: | XVIII, 540 p. 128 illus. online resource. |
| Electronic resource | Texto completo |
AI*IA 2011: Artificial Intelligence Around Man and Beyond XIIth International Conference of the Italian Association for Artificial Intelligence, Palermo, Italy, September 15-17, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642239540 |
| Phys. Desc.: | XV, 464 p. online resource. |
| Electronic resource | Texto completo |
AI*IA 2009: Emergent Perspectives in Artificial Intelligence XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia, Italy, December 9-12, 2009 Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642102912 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Reasoning Web. Semantic Technologies for Advanced Query Answering 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2012. |
| ISBN: | 9783642331589 |
| Phys. Desc.: | IX, 387 p. online resource. |
| Electronic resource | Texto completo |
