Supernova

Your cart is empty.

 

Your search returned 1280 results.

1.
Tractable reasoning in artificial intelligence / Marco CadoliPublication : Berlin : Springer-Verlag, 1995Availability : Items available for loan : BU Beaulieu[Y61052] (1).
Place hold Add to cart
2.
Representing plans under uncertainty : a logic of time / Peter HaddawyPublication : Berlin : Springer-Verlag, 1994Availability : Items available for loan : BU Beaulieu[Y61065] (1).
Place hold Add to cart
3.
Time structures : formal description and algorithmic representation / Elżbieta HajniczPublication : Berlin : Springer, copyright 1996Availability : Items available for loan : BU Beaulieu[Y60968] (1).
Place hold Add to cart
4.
Distributed reason maintenance for multiagent systems / Gerhard KraetzschmarPublication : Berlin : Springer, copyright 1997Availability : Items available for loan : BU Beaulieu[Y61030] (1).
Place hold Add to cart
5.
Computational intelligence : theory and applications : international conference, 6th fuzzy days, Dortmund, Germany, May 25-28, 1999 : proceedings / Bernd Reusch (ed.)Publication : Berlin : SpringerPublication : C 1999Availability : Items available for loan : ENSSAT[I 1. 3. REU.] (1).
Place hold Add to cart
6.
Connectionist models of neurons, learning processes, and artificial intelligence : 6th international Work-Conference on artificial and natural networks, IWANN 2001 : Granada, Spain, june 13-15, 2001. Proceedings. Part I / José Mira ; Alberto Prieto (eds)Publication : Berlin : SpringerPublication : C 2001Availability : Items available for loan : ENSSAT[I 1. 1.] (1).
Place hold Add to cart
7.
Non-standard inferences in description logics / Ralf KüstersPublication : New York : Springer, copyright 2001Thesis note : Thèse : Computer science : RWTH, Aachen : 1999. Availability : Items available for loan : BU Beaulieu[Y61074] (1).
Place hold Add to cart
8.
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).
Place hold Add to cart
9.
Geometry and Robotics : Workshop, Toulouse, France, May 26–28, 1988 Proceedings / edited by J. -D. Boissonnat, J. -P. Laumond.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-51683-2Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-51683-2Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
Place hold Add to cart
10.
Mathematical knowledge management : Third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004. Proceedings / edited by Andrea Asperti, Grzegorz Bancerek, Andrzej TrybulecPublication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/b100478Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/b100478Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
Place hold Add to cart
11.
Foundations of Computer Science : Potential — Theory — Cognition / edited by Christian Freksa, Matthias Jantzen, Rüdiger Valk.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/BFb0052071Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/BFb0052071Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
Place hold Add to cart
12.
RoboCup 2002: Robot Soccer World Cup VI / edited by Gal A. Kaminka, Pedro U. Lima, Raúl Rojas.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/b11927Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/b11927Availability : Items available for loan : INSA[629.892] (1), Bibliothèque numérique (1).
Place hold Add to cart
13.
Image Analysis and Processing : 9th International Conference, ICIAP '97 Florence, Italy, September 17–19, 1997 Proceedings, Volume II / edited by Alberto Bimbo.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-63508-4Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-63508-4Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
Place hold Add to cart
14.
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).
Place hold Add to cart
15.
Practical Aspects of Declarative Languages : Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11–12, 2001 Proceedings / edited by I. V. Ramakrishnan.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/3-540-45241-9Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/3-540-45241-9Availability : Items available for loan : INSA[005.131] (1), Bibliothèque numérique (1).
Place hold Add to cart
16.
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).
Place hold Add to cart
17.
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).
Place hold Add to cart
18.
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).
Place hold Add to cart
19.
Artificial Intelligence: Methodology, Systems, and Applications : 11th International Conference, AIMSA 2004, Varna, Bulgaria, September 2-4, 2004. Proceedings / edited by Christoph Bussler, Dieter Fensel.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/b100218Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/b100218Availability : Items available for loan : INSA[006.3] (1), Bibliothèque numérique (1).
Place hold Add to cart
20.
Biometric Authentication : ECCV 2004 International Workshop, BioAW 2004, Prague, Czech Republic, May 15th, 2004. Proceedings / edited by Davide Maltoni, Anil K. Jain.Publication : Berlin [etc.] : Springer, [201. ?]Online access : http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/b99174Online access : https://dx-doi-org.passerelle.univ-rennes1.fr/10.1007/b99174Availability : Items available for loan : INSA[004] (1), Bibliothèque numérique (1).
Place hold Add to cart

 

Powered by Koha