IMSc Library catalog › Results of search for 'ccl=su:"Computer science" and su-to:Logics and Meanings of Programs and se:Lecture Notes in Artificial Intelligence'

Your search returned 7 results.

Not what you expected? Check for suggestions

			Nonmonotonic and Inductive Logic [electronic resource] : 1st International Workshop Karlsruhe, Germany, December 4–7, 1990 Proceedings / edited by J. Dix, K. P. Jantke, P. H. Schmitt. by Dix, J [editor.] \| Jantke, K. P [editor.] \| Schmitt, P. H [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 543Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Analogical and Inductive Inference [electronic resource] : International Workshop All '89 Reinhardsbrunn Castle, GDR, October 1–6, 1989 Proceedings / edited by Klaus P. Jantke. by Jantke, Klaus P [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 397Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Logics in AI [electronic resource] : European Workshop JELIA '90 Amsterdam, The Netherlands, September 10–14, 1990 Proceedings / edited by J. Eijck. by Eijck, J [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 478Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Logics in AI [electronic resource] : European Workshop JELIA'92 Berlin, Germany, September 7–10, 1992 Proceedings / edited by D. Pearce, G. Wagner. by Pearce, D [editor.] \| Wagner, G [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 633Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Temporal Logic [electronic resource] : First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings / edited by Dov M. Gabbay, Hans Jürgen Ohlbach. by Gabbay, Dov M [editor.] \| Ohlbach, Hans Jürgen [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 827Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			AIIA 2017 Advances in Artificial Intelligence [electronic resource] : XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings / edited by Floriana Esposito, Roberto Basili, Stefano Ferilli, Francesca A. Lisi. by Esposito, Floriana [editor.] \| Basili, Roberto [editor.] \| Ferilli, Stefano [editor.] \| Lisi, Francesca A [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10640 \| Lecture Notes in Computer Science ; 10640Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan:* IMSc Library (1). Location(s): . Place hold Log in to add tags
			Logic Programming and Nonmonotonic Reasoning [electronic resource] : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings / edited by Marcello Balduccini, Tomi Janhunen. by Balduccini, Marcello [editor.] \| Janhunen, Tomi [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10377 \| Lecture Notes in Computer Science ; 10377Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha