Your search returned 371 results.

Results
	361.	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 Proceedings / by Gelfond, Michael [editor.] Leone, Nicole [editor.] Pfeifer, Gerald [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1730 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)
	362.	Computational Logic: Logic Programming and Beyond [electronic resource] : Essays in Honour of Robert A. Kowalski, Part II / by Kakas, Antonis C [editor.] Sadri, Fariba [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2408 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)
	363.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings / by Egly, Uwe [editor.] Fernmüller, Christian G [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2381 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)
	364.	Compiler Construction [electronic resource] : 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings / by Duesterwald, Evelyn [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2985 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)
	365.	Compiler Construction [electronic resource] : 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings / by Wilhelm, Reinhard [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2027 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)
	366.	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) Series: Lecture Notes in Computer Science ; 1817 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)
	367.	Non-Standard Inferences in Description Logics [electronic resource] : From Foundations and Definitions to Algorithms and Analysis / by Küsters, Ralf [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2100 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)
	368.	Conceptual Modeling - ER 2002 [electronic resource] : 21st International Conference on Conceptual Modeling Tampere, Finland, October 7-11, 2002 Proceedings / by Spaccapietra, Stefano [editor.] March, Salvatore [editor.] Kambayashi, Yahiko [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2503 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)
	369.	Analysis and Visualization Tools for Constraint Programming [electronic resource] : Constraint Debugging / by Deransart, Pierre [editor.] Hermenegildo, M.V [editor.] Maluszynski, J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1870 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)
	370.	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, Luis M [editor.] Sagiv, Yehoshua [editor.] Stuckey, Peter J [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1861 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)
	371.	Part-Whole Reasoning in an Object-Centered Framework [electronic resource] / by Lambrix, Patrick [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1771 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)

First
Previous
10
11
12
13
14
15
16
17
18
19

© 2024 IIIT-Delhi, library@iiitd.ac.in