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

Results
	21.	Theory and Applications of Satisfiability Testing [electronic resource] : 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings / by Bacchus, Fahiem [editor.] Walsh, Toby [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3569 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	22.	Lectures on Logic and Computation [electronic resource] : ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes / by Bezhanishvili, Nick [editor.] Goranko, Valentin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7388 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	23.	Typed Lambda Calculi and Applications [electronic resource] : 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings / by Hasegawa, Masahito [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7941 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	24.	Theory and Applications of Satisfiability Testing - SAT 2006 [electronic resource] : 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings / by Biere, Armin [editor.] Gomes, Carla P [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4121 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	25.	Computer Science Logic [electronic resource] : 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings / by Duparc, Jacques [editor.] Henzinger, Thomas A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4646 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	26.	Theory and Applications of Satisfiability Testing – SAT 2008 [electronic resource] : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings / by Kleine Büning, Hans [editor.] Zhao, Xishun [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4996 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	27.	Human and Artificial Rationalities [electronic resource] : Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings / by Baratgin, Jean [editor.] Jacquet, Baptiste [editor.] Yama, Hiroshi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14522 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	28.	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) Series: Lecture Notes in Artificial Intelligence ; 1955 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)
	29.	Types for Proofs and Programs [electronic resource] : International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers / by Coquand, Thierry [editor.] Dybjer, Peter [editor.] Nordström, Bengt [editor.] Smith, Jan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1956 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)
	30.	Computational Linguistics and Intelligent Text Processing [electronic resource] : Third International Conference, CICLing 2002, Mexico City, Mexico, February 17-23, 2002 Proceedings / by Gelbukh, Alexander [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2276 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)
	31.	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)
	32.	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)
	33.	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)
	34.	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)
	35.	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)
	36.	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)
	37.	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)
	38.	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)
	39.	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)
	40.	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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 57 results.