Your search returned 1001 results.

1.
Frontiers of Combining Systems : Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000. Proceedings / edited by Hélène Kirchner, Christophe Ringeissen.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/10720084Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/10720084Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
2.
Concepts, Design, and Performance Analysis of a Parallel Prolog Machine / by Joachim Beer.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-52053-8Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-52053-8Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
3.
Advances in Artificial Intelligence : International Joint Conference 7th Ibero-American Conference on AI 15th Brazilian Symposium on AI IBERAMIA-SBIA 2000 Atibaia, SP, Brazil, November 19–22, 2000 Proceedings / edited by Maria Carolina Monard, Jaime Simão Sichman.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-44399-1Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-44399-1Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
4.
Computational Intelligence. Theory and Applications : International Conference, 7th Fuzzy Days Dortmund, Germany, October 1–3, 2001 Proceedings / edited by Bernd Reusch.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-45493-4Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-45493-4Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
5.
Information Extraction : Towards Scalable, Adaptable Systems / edited by Maria Teresa Pazienza.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-48089-7Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-48089-7Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
6.
Affective Interactions : Towards a New Generation of Computer Interfaces / edited by Ana Paiva.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/10720296Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/10720296Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
7.
Conditionals in Nonmonotonic Reasoning and Belief Revision : Considering Conditionals as Agents / edited by Gabriele Kern-Isberner.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-44600-1Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-44600-1Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
8.
KI 2003: Advances in Artificial Intelligence : 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003. Proceedings / edited by Andreas Günter, Rudolf Kruse, Bernd Neumann.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/b13477Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/b13477Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
9.
Applications of Uncertainty Formalisms / edited by Anthony Hunter, Simon Parsons.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-49426-XOnline access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-49426-XAvailability : Items available for loan : INSA[003.54] (1), Bibliothèque numérique (1).
10.
Logic Programming '85 : Proceedings of the 4th Conference Tokyo, Japan, July 1–3, 1985 / edited by Eiiti Wada.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-16479-0Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-16479-0Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
11.
AI*IA 2001: Advances in Artificial Intelligence : 7th Congress of the Italian Association for Artificial Intelligence Bari, Italy, September 25–28, 2001 Proceedings / edited by Floriana Esposito.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-45411-XOnline access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-45411-XAvailability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
12.
Abstraction, Reformulation, and Approximation : 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings / edited by Berthe Y. Choueiry, Toby Walsh.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-44914-0Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-44914-0Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
13.
Utilizing Problem Structure in Planning : A Local Search Approach / by Jörg Hoffmann.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/b93903Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/b93903Availability : Items available for loan : INSA[006.333] (1), Bibliothèque numérique (1).
14.
Logic Programming '86 : Proceedings of the 5th Conference Tokyo, Japan, June 23–26, 1986 / edited by Eiiti Wada.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-18024-9Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-18024-9Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
15.
Automated Deduction — CADE-16 : 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings / by Harald Ganzinger.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-48660-7Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-48660-7Availability : Items available for loan : INSA[006.33] (1), Bibliothèque numérique (1).
16.
Theory Reasoning in Connection Calculi / by Peter Baumgartner.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/b71631Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/b71631Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
17.
Logic Program Synthesis and Transformation : 6th International Workshop, LOPSTR'96 Stockholm, Sweden, August 28–30, 1996 Proceedings / edited by John Gallagher.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-62718-9Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-62718-9Availability : Items available for loan : INSA[005.115] (1), Bibliothèque numérique (1).
18.
Computer Science Logic : 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings / edited by Laurent Fribourg.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-44802-0Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-44802-0Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
19.
Automated Deduction in Classical and Non-Classical Logics : Selected Papers / edited by Ricardo Caferra, Gernot Salzer.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-46508-1Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-46508-1Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
20.
Logic-Based Program Synthesis and Transformation : 9th International Workshop, LOPSTR’99, Venice, Italy, September 22-24, 1999 Selected Papers / edited by Annalisa Bossi.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/10720327Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/10720327Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).

 

Powered by Koha