|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Extensions of Logic Programming [electronic resource] : 5th International Workshop, ELP '96 Leipzig, Germany, March 28–30, 1996 Proceedings / edited by Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister. by Dyckhoff, Roy [editor.] | Herre, Heinrich [editor.] | Schroeder-Heister, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1050Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Principles of Declarative Programming [electronic resource] : 10th International Symposium, PLILP’98 Held Jointly with the 6th International Conference, ALP’98 Pisa, Italy, September 16–18, 1998 Proceedings / edited by Catuscia Palamidessi, Hugh Glaser, Karl Meinke. by Palamidessi, Catuscia [editor.] | Glaser, Hugh [editor.] | Meinke, Karl [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1490Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Logic Programming and Knowledge Representation [electronic resource] : Third International Workshop, LPKR '97 Port Jefferson, New York, USA, October 17, 1997 Selected Papers / edited by Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski. by Dix, Jürgen [editor.] | Pereira, Luís Moniz [editor.] | Przymusinski, Teodor C [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1471Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
FM 2008: Formal Methods [electronic resource] : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings / edited by Jorge Cuellar, Tom Maibaum, Kaisa Sere. by Cuellar, Jorge [editor.] | Maibaum, Tom [editor.] | Sere, Kaisa [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5014Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
ZUM '97: The Z Formal Specification Notation [electronic resource] : 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings / edited by Jonathan P. Bowen, Michael G. Hinchey, David Till. by Bowen, Jonathan P [editor.] | Hinchey, Michael G [editor.] | Till, David [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1212Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Non-Monotonic Extensions of Logic Programming [electronic resource] : Second International Workshop, NMELP '96 Bad Honnef, Germany, September 5–6, 1996 Selected Papers / edited by Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski. by Dix, Jürgen [editor.] | Pereira, Luís Moniz [editor.] | Przymusinski, Teodor C [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1216Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Static Analysis [electronic resource] : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings / edited by María Alpuente, Germán Vidal. by Alpuente, María [editor.] | Vidal, Germán [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5079Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Logic Programming And Nonmonotonic Reasoning [electronic resource] : 4th International Conference, LPNMR '97 Dagstuhl Castle, Germany, July 28–31, 1997 Proceedings / edited by Jürgen Dix, Ulrich Furbach, Anil Nerode. by Dix, Jürgen [editor.] | Furbach, Ulrich [editor.] | Nerode, Anil [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1265Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Programming Languages: Implementations, Logics, and Programs [electronic resource] : 9th International Symposium, PLILP '97 Including a Special Track on Declarative Programming Languages in Education Southampton, UK, September 3–5, 1997 Proceedings / edited by Hugh Glaser, Pieter Hartel, Herbert Kuchen. by Glaser, Hugh [editor.] | Hartel, Pieter [editor.] | Kuchen, Herbert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1292Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
