Your search returned 112 results.

Results
	101.	Logic Programming in Action [electronic resource] : Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings / by Comyn, Gerard [editor.] Fuchs, Norbert E [editor.] Ratcliffe, Michael J [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 636 Edition: 1st ed. 1992. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	102.	Computer Science Logic [electronic resource] : 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers / by Pacholski, Leszek [editor.] Tiuryn, Jerzy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 933 Edition: 1st ed. 1995. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	103.	Programming Language Implementation and Logic Programming [electronic resource] : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings / by Maluszynski, Jan [editor.] Wirsing, Martin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 528 Edition: 1st ed. 1991. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	104.	Word Equations and Related Topics [electronic resource] : Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991. Proceedings / by Abdulrab, Habib [editor.] Pecuchet, Jean-Pierre [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 677 Edition: 1st ed. 1993. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	105.	Automated Deduction — CADE-12 [electronic resource] : 12th International Conference on Automated Deduction Nancy, France, June 26–July 1, 1994 Proceedings / by Bundy, Alan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 814 Edition: 1st ed. 1994. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	106.	Computer Science Logic [electronic resource] : 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings / by Gottlob, Georg [editor.] Grandjean, Etienne [editor.] Seyr, Katrin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1584 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)
	107.	Fuzzy Logic and Fuzzy Control [electronic resource] : IJCAI '91 Workshops on Fuzzy Logic and Fuzzy Control, Sydney, Australia, August 24, 1991. Proceedings / by Driankov, Dimiter [editor.] Eklund, Peter W [editor.] Ralescu, Anca L [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 833 Edition: 1st ed. 1994. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	108.	DNA Computing [electronic resource] : 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers / by Condon, Anne [editor.] Rozenberg, Grzegorz [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2054 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)
	109.	Challenges for Action Theories [electronic resource] / by Thielscher, Michael [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1775 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)
	110.	Logics in Artificial Intelligence [electronic resource] : European Workshop, JELIA ’98 Dagstuhl, Germany, October 12–15, 1998 Proceedings / by Del Cerro, Farinas Luis [editor.] Furbach, Ulrich [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1489 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)
	111.	Conditional Term Rewriting Systems [electronic resource] : Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings / by Rusinowitch, Michael [editor.] Remy, Jean-Luc [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 656 Edition: 1st ed. 1993. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	112.	Logic Programming [electronic resource] : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings / by Stuckey, Peter J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2401 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)

First
Previous
1
2
3
4
5
6

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

Powered by Koha