Your search returned 330 results.

1.
Isabelle : A Generic Theorem Prover / edited by Lawrence C. Paulson.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/BFb0030541Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/BFb0030541Availability : Items available for loan : INSA[511.3028553] (1), Bibliothèque numérique (1).
2.
Artificial Intelligence and Soft Computing - ICAISC 2004 : 7th International Conference, Zakopane, Poland, June 7-11, 2004. Proceedings / edited by Leszek Rutkowski, Jörg H. Siekmann, Ryszard Tadeusiewicz, Lotfi A. Zadeh.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/b98109Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/b98109Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
3.
Natural Language Processing and Information Systems : 5th International Conference on Applications of Natural Language to Information Systems, NLDB 2000 Versailles, France, June 28–30,2000 Revised Papers / edited by Mokrane Bouzeghoub, Zoubida Kedad, Elisabeth Métais.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-45399-7Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-45399-7Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
4.
Computer Aided Verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings / edited by Rajeev Alur, Doron A. Peled.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/b98490Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/b98490Availability : Items available for loan : INSA[004.24] (1), Bibliothèque numérique (1).
5.
Principles of Declarative Programming : 10th International Symposium, PLILP’98 Held Jointly with the 6th International Conference, ALP’98 Pisa, Italy, September 16–18, 1998 Proceedings / edited by Catuscia Palamidessi, Hugh Glaser, Karl Meinke.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/BFb0056603Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/BFb0056603Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
6.
Modeling and Using Context : Second International and Interdisciplinary Conference,CONTEXT’99 Trento, Italy, September 9–11, 1999 Proceedings / edited by Paolo Bouquet, Massimo Benerecetti, Luciano Serafini, Patrick Brézillon, Francesca Castellani.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-48315-2Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-48315-2Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
7.
Machine Translation and the Information Soup : Third Conference of the Association for Machine Translation in the Americas AMTA’98 Langhorne, PA, USA, October 28–31, 1998 Proceedings / edited by David Farwell, Laurie Gerber, Eduard Hovy.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-49478-2Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-49478-2Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
8.
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).
9.
Computer Aided Verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings / edited by Warren A. Hunt, Fabio Somenzi.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/b11831Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/b11831Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
10.
New Trends in Constraints : Joint ERCIM/Compulog NetWorkshop Paphos, Cyprus, October 25–27, 1999 Selected Papers / edited by Krzysztof R. Apt, Eric Monfroy, Antonis C. Kakas, Francesca Rossi.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-44654-0Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-44654-0Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
11.
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).
12.
Computer Science Logic : 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers / edited by Hans Kleine Büning.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-61377-3Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-61377-3Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
13.
Computational Learning Theory : 14th Annual Conference on Computational Learning Theory, COLT 2001 and 5th European Conference on Computational Learning Theory, EuroCOLT 2001 Amsterdam, The Netherlands, July 16–19, 2001 Proceedings / edited by David Helmbold, Bob Williamson.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-44581-1Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-44581-1Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
14.
Logic Programming in Action : Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7–11, 1992 Proceedings / edited by G. Comyn, N. E. Fuchs, M. J. Ratcliffe.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-55930-2Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-55930-2Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
15.
Rewriting Techniques and Applications : 9th International Conference, RTA-98 Tsukuba, Japan, March 30 – April 1, 1998 Proceedings / edited by Tobias Nipkow.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/BFb0052355Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/BFb0052355Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
16.
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).
17.
Rewriting Techniques and Applications : 13th International Conference, RTA 2002 Copenhagen, Denmark, July 22–24, 2002 Proceedings / edited by Sophie Tison.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-45610-4Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-45610-4Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
18.
Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings / edited by Matthias Baaz, Andrei Voronkov.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-36078-6Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-36078-6Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
19.
Automated Deduction in Geometry : 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002. Revised Papers / edited by Franz Winkler.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/b95516Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/b95516Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
20.
Computational Learning Theory : 15th Annual Conference on Computational Learning Theory, COLT 2002 Sydney, Australia, July 8–10, 2002 Proceedings / edited by Jyrki Kivinen, Robert H. Sloan.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-45435-7Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-45435-7Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).

 

Powered by Koha