Results of search for 'ccl=su:{Logic.}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	2241.	Issues in Agent Communication [electronic resource] / by Dignum, Frank [editor.] Greaves, Mark [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1916 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2242.	Automated Reasoning [electronic resource] : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings / by Basin, David [editor.] Rusinowitch, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3097 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2243.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings / by Galmiche, Didier [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1227 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2244.	Formal Approaches to Agent-Based Systems [electronic resource] : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers / by Hinchey, Michael G [editor.] Rash, James L [editor.] Truszkowski, Walter F [editor.] Rouff, Christopher [editor.] Gordon-Spears, Diana [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2699 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2245.	Intelligent Agents: Specification, Modeling, and Application [electronic resource] : 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001, Taipei, Taiwan, July 28-29, 2001, Proceedings / by Yuan, Soe-Tsyr [editor.] Yokoo, Makoto [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2132 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2246.	Automated Deduction - CADE-15 [electronic resource] : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings / by Kirchner, Claude [editor.] Kirchner, Helene [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1421 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2247.	Automated Reasoning [electronic resource] : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings / by Gore, Rajeev [editor.] Leitsch, Alexander [editor.] Nipkow, Tobias [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2083 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2248.	Intelligent Agents VI. Agent Theories, Architectures, and Languages [electronic resource] : 6th International Workshop, ATAL'99 Orlando, Florida, USA, July 15-17, 1999 Proceedings / by Jennings, Nicholas R [editor.] Lesperance, Yves [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1757 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2249.	Fuzzy Sets and Systems - IFSA 2003 [electronic resource] : 10th International Fuzzy Systems Association World Congress, Istanbul, Turkey, June 30 - July 2, 2003, Proceedings / by Bilgic, Taner [editor.] Baets, Bernard De [editor.] Kaynak, Okays [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2715 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2250.	Fuzzy Logic in Artificial Intelligence: Towards Intelligent Systems [electronic resource] : IJCAI '95 Workshop, Montreal, Canada, August 19-21, 1995, Selected Papers / by Martin, Trevor [editor.] Ralescu, Anca L [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1188 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2251.	Intelligent Agents VIII [electronic resource] : 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001 Revised Papers / by Meyer, John-Jules C [editor.] Tambe, Milind [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2333 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2252.	Grammatical Inference: Algorithms and Applications [electronic resource] : 6th International Colloquium: ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002. Proceedings / by Adriaans, Pieter [editor.] Fernau, Henning [editor.] Zaanen, Menno van [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2484 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2253.	Theory Reasoning in Connection Calculi [electronic resource] / by Baumgartner, Peter [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1527 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2254.	Automated Deduction - CADE-16 [electronic resource] : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings / by Ganzinger, Harald [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1632 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2255.	Evolvable Systems: From Biology to Hardware [electronic resource] : 5th International Conference, ICES 2003, Trondheim, Norway, March 17-20, 2003, Proceedings / by Tyrrell, Andy M [editor.] Haddow, Pauline C [editor.] Torresen, Jim [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2606 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2256.	Functional and Logic Programming [electronic resource] : 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings / by Middeldorp, Aart [editor.] Sato, Taisuke [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1722 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2257.	Evolvable Systems: From Biology to Hardware [electronic resource] : First International Conference, ICES '96, Tsukuba, Japan, October 7 - 8, 1996, Revised Papers / by Higuchi, Tetsuya [editor.] Iwata, Masaya [editor.] Weixin, Liu [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1259 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2258.	On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors [electronic resource] / by Pflanz, Matthias [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2270 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2259.	Advances in Computer Systems Architecture [electronic resource] : 9th Asia-Pacific Conference, ACSAC 2004, Beijing, China, September 7-9, 2004, Proceedings / by Yew, Pen-Chung [editor.] Xue, Jingling [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3189 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2260.	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) Series: Lecture Notes in Computer Science ; 1833 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 2363 results.