FEEDBACK Smiley face

Your search returned 330 results. Subscribe to this search

|
1. Fuzzy Logic in Artificial Intelligence Towards Intelligent Systems [electronic resource] :IJCAI '95 Workshop Montréal, Canada, August 19–21, 1995 Selected Papers /

by Martin, Trevor P [editor.] | Ralescu, Anca L [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

2. Algorithms and Complexity [electronic resource] :Third Italian Conference, CIAC '97 Rome, Italy, March 12–14, 1997 Proceedings /

by Bongiovanni, Giancarlo [editor.] | Bovet, Daniel Pierre [editor.] | Battista, Giuseppe Di [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

3. Rewriting Techniques and Applications [electronic resource] :8th International Conference, RTA-97 Sitges, Spain, June 2–5, 1997 Proceedings /

by Comon, Hubert [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

4. Qualitative and Quantitative Practical Reasoning [electronic resource] :First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97 Bad Honnef, Germany, June 9–12, 1997 Proceedings /

by Gabbay, Dov M [editor.] | Kruse, Rudolf [editor.] | Nonnengart, Andreas [editor.] | Ohlbach, Hans Jürgen [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

5. Application and Theory of Petri Nets 1997 [electronic resource] :18th International Conference, ICATPN'97 Toulouse, France, June 23–27, 1997 Proceedings /

by Azéma, Pierre [editor.] | Balbo, Gianfranco [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

6. Computational Logic and Proof Theory [electronic resource] :5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings /

by Gottlob, Georg [editor.] | Leitsch, Alexander [editor.] | Mundici, Daniele [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

7. Artificial Intelligence and Symbolic Computation [electronic resource] :International Conference AISC’98 Plattsburg, New York, USA, September 16–18, 1998 Proceedings /

by Calmet, Jacques [editor.] | Plaza, Jan [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available

8. Generalized Quantifiers and Computation [electronic resource] :9th European Summer School in Logic, Language, and Information ESSLLI’97Workshop Aix-en-Provence, France, August 11–22, 1997 Revised Lectures /

by Väänänen, Jouko [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available

9. New Directions in Rough Sets, Data Mining, and Granular-Soft Computing [electronic resource] :7th International Workshop, RSFDGrC’99, Yamaguchi, Japan, November 9-11, 1999. Proceedings /

by Zhong, Ning [editor.] | Skowron, Andrzej [editor.] | Ohsuga, Setsuo [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available

10. Theorem Proving in Higher Order Logics [electronic resource] :12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings /

by Bertot, Yves [editor.] | Dowek, Gilles [editor.] | Théry, Laurent [editor.] | Hirschowitz, André [editor.] | Paulin, Christine [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.Online access: Click here to access online Availability: No items available

11. Mathematical Foundations of Computer Science 1999 [electronic resource] :24th International Symposium, MFCS’99 Szklarska Poręba, Poland, September 6–10,1999 Proceedings /

by Kutyłowski, Mirosław [editor.] | Pacholski, Leszek [editor.] | Wierzbicki, Tomasz [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available

12. Case-Based Reasoning Research and Development [electronic resource] :Third International Conference on Case-Based Reasoning, ICCBR-99 Seeon Monastery, Germany, July 27-30, 1999 Proceedings /

by Althoff, Klaus-Dieter [editor.] | Bergmann, Ralph [editor.] | Branting, L.Karl [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available

13. Conceptual Structures: Standards and Practices [electronic resource] :7th International Conference on Conceptual Structures, ICCS’99 Blacksburg, VA, USA, July 12–15, 1999 Proceedings /

by Tepfenhart, William M [editor.] | Cyre, Walling [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available

14. Rewriting Techniques and Applications [electronic resource] :10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings /

by Narendran, Paliath [editor.] | Rusinowitch, Michael [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available

15. Algebraic Methodology and Software Technology [electronic resource] :7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings /

by Haeberer, Armando M [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available

16. Logic for Programming and Automated Reasoning [electronic resource] :7th International Conference, LPAR 2000 Reunion Island, France, November 6–10, 2000 Proceedings /

by Parigot, Michel [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available

17. FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science [electronic resource] :20th Conference New Delhi, India, December 13–15, 2000 Proceedings /

by Kapoor, Sanjiv [editor.] | Prasad, Sanjiva [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available

18. Conceptual Structures: Logical, Linguistic, and Computational Issues [electronic resource] :8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000. Proceedings /

by Ganter, Bernhard [editor.] | Mineau, Guy W [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available

19. Rewriting Techniques and Applications [electronic resource] :11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings /

by Bachmair, Leo [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available

20. Frontiers of Combining Systems [electronic resource] :Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000. Proceedings /

by Kirchner, Hélène [editor.] | Ringeissen, Christophe [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in