Indraprastha Institute of Information Technology, Delhi catalog › Results of search for 'su:{Mathematical Logic and Formal Languages.} and su-to:Computer Science and su-to:Artificial Intelligence incl. Robotics '

Your cart is empty.

FEEDBACK

Your search returned 807 results.

« Previous
1
2
3
4
5
6
7
8
9
10
Next »

	81.	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; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	82.	Abstraction, Reformulation, and Approximation [electronic resource] :4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings / by Choueiry, Berthe Y [editor.] \| Walsh, Toby [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	83.	Computational Logic — CL 2000 [electronic resource] :First International Conference London, UK, July 24–28, 2000 Proceedings / by Lloyd, John [editor.] \| Dahl, Veronica [editor.] \| Furbach, Ulrich [editor.] \| Kerber, Manfred [editor.] \| Lau, Kung-Kiu [editor.] \| Palamidessi, Catuscia [editor.] \| Pereira, Luís Moniz [editor.] \| Sagiv, Yehoshua [editor.] \| Stuckey, Peter J [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	84.	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; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	85.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] :International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 Proceedings / by Dyckhoff, Roy [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	86.	Learning Classifier Systems [electronic resource] :From Foundations to Applications / by Lanzi, Pier Luca [editor.] \| Stolzmann, Wolfgang [editor.] \| Wilson, Stewart W [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	87.	Computer Aided Verification [electronic resource] :12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings / by Emerson, E. Allen [editor.] \| Sistla, Aravinda Prasad [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	88.	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). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	89.	Logic-Based Program Synthesis and Transformation [electronic resource] :9th International Workshop, LOPSTR’99, Venice, Italy, September 22-24, 1999 Selected Papers / by Bossi, Annalisa [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	90.	Natural Language Processing — NLP 2000 [electronic resource] :Second International Conference Patras, Greece, June 2–4, 2000 Proceedings / by Christodoulakis, Dimitris N [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	91.	Grammatical Inference: Algorithms and Applications [electronic resource] :5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000. Proceedings / by Oliveira, Arlindo L [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	92.	Principles and Practice of Constraint Programming – CP 2000 [electronic resource] :6th International Conference, CP 2000 Singapore, September 18–21, 2000 Proceedings / by Dechter, Rina [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	93.	Challenges for Action Theories [electronic resource] / by Thielscher, Michael [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	94.	Part-Whole Reasoning in an Object-Centered Framework [electronic resource] / by Lambrix, Patrick [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	95.	Theory and Application of Graph Transformations [electronic resource] :6th International Workshop, TAGT’98, Paderborn, Germany, November 16-20, 1998. Selected Papers / by Ehrig, Hartmut [editor.] \| Engels, Gregor [editor.] \| Kreowski, Hans-Jörg [editor.] \| Rozenberg, Grzegorz [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	96.	Automated Deduction in Classical and Non-Classical Logics [electronic resource] :Selected Papers / by Caferra, Ricardo [editor.] \| Salzer, Gernot [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	97.	Computational Learning Theory [electronic resource] :14th Annual Conference on Computational Learning Theory, COLT 2001 and 5th European Conference on Computational Learning Theory, EuroCOLT 2001 Amsterdam, The Netherlands, July 16–19, 2001 Proceedings / by Helmbold, David [editor.] \| Williamson, Bob [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	98.	Conceptual Structures: Broadening the Base [electronic resource] :9th International Conference on Conceptual Structures, ICCS 2001 Stanford, CA, USA, July 30–August 3, 2001 Proceedings / by Delugach, Harry S [editor.] \| Stumme, Gerd [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	99.	Computer Aided Verification [electronic resource] :13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings / by Berry, Gérard [editor.] \| Comon, Hubert [editor.] \| Finkel, Alain [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	100.	Case-Based Reasoning Research and Development [electronic resource] :4th International Conference on Case-Based Reasoning, ICCBR 2001 Vancouver, BC, Canada, July 30 – August 2, 2001 Proceedings / by Aha, David W [editor.] \| Watson, Ian [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)

« Previous
1
2
3
4
5
6
7
8
9
10
Next »

Refine your search

Authors

Item types

Series

Topics