Results of search for 'ccl=su:{Mathematical logic.} and su-to:Artificial intelligence' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	41.	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) Series: Lecture Notes in Computer Science ; 1289 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)
	42.	Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers / by Callaghan, Paul [editor.] Luo, Zhaohui [editor.] McKinna, James [editor.] Pollack, Robert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2277 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)
	43.	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.] Ohsuga, Setsuo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1711 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)
	44.	Computer Science Logic [electronic resource] : 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings / by Flum, Jörg [editor.] Rodriguez-Artalejo, Mario [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1683 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)
	45.	Proof Theory in Computer Science [electronic resource] : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings / by Kahle, Reinhard [editor.] Schroeder-Heister, Peter [editor.] Stärk, Robert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2183 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)
	46.	Algorithms and Complexity [electronic resource] : 5th Italian Conference, CIAC 2003, Rome, Italy, May 28-30, 2003, Proceedings / by Petreschi, Rosella [author.] Persiano, Giuseppe [author.] Silvestri, Riccardo [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2653 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)
	47.	Multiset Processing [electronic resource] : Mathematical, Computer Science, and Molecular Computing Points of View / by Calude, Christian S [editor.] Paun, Gheorghe [editor.] Rozenberg, Grzegorz [editor.] Salomaa, Arto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2235 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)
	48.	Computer Science Logic [electronic resource] : 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings / by Fribourg, Laurent [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2142 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)
	49.	Frontiers of Combining Systems [electronic resource] : Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings / by Kirchner, Helene [editor.] Ringeissen, Christophe [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1794 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)
	50.	Automata Implementation [electronic resource] : 4th International Workshop on Implementing Automata, WIA'99 Potsdam, Germany, July 17-19, 2001 Revised Papers / by Boldt, Oliver [editor.] Jürgensen, Helmut [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2214 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)
	51.	Algorithms and Complexity [electronic resource] : Third Italian Conference, CIAC'97, Rome, Italy, March 12-14, 1997, Proceedings / by Bongiovanni, Giancarlo [editor.] Bovet, Daniel P [editor.] Di Battista, Giuseppe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1203 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)
	52.	DNA Computing [electronic resource] : 7th International Workshop on DNA-Based Computers, DNA7, Tampa, FL, USA, June 10-13, 2001, Revised Papers / by Jonoska, Natasa [editor.] Seeman, Nadriaan C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2340 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)
	53.	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 [editor.] Kruse, Rudolf [editor.] Nonnengart, Andreas [editor.] Ohlbach, Hans J [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1244 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)
	54.	Rewriting Techniques and Applications [electronic resource] : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings / by Nipkow, Tobias [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1379 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)
	55.	The Logic System of Concept Graphs with Negation [electronic resource] : And Its Relationship to Predicate Logic / by Dau, Frithjof [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2892 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)
	56.	Computer Science Logic [electronic resource] : 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings / by Clote, Peter G [editor.] Schwichtenberg, Helmut [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1862 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)
	57.	Automated Deduction - CADE-17 [electronic resource] : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings / by McAllester, David [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1831 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)
	58.	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)
	59.	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)
	60.	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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 73 results.