|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Logic Programming [electronic resource] : First Russian Conference on Logic Programming Irkutsk, Russia, September 14–18, 1990 Second Russian Conference on Logic Programming St. Petersburg, Russia, September 11–16, 1991 Proceedings / edited by A. Voronkov. by Voronkov, A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 592Source: 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): .
|
|
|
|
|
Programming Languages Implementation and Logic Programming [electronic resource] : International Workshop PLILP '88 Orléans, France, May 16–18, 1988 Proceedings / edited by P. Deransart, B. Lorho, J. Małuszyński. by Deransart, P [editor.] | Lorho, B [editor.] | Małuszyński, J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 348Source: 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): .
|
|
|
|
|
Perspectives of System Informatics [electronic resource] : Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings / edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin. by Bjørner, Dines [editor.] | Broy, Manfred [editor.] | Pottosin, Igor V [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1181Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings / edited by Esra Erdem, Fangzhen Lin, Torsten Schaub. by Erdem, Esra [editor.] | Lin, Fangzhen [editor.] | Schaub, Torsten [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5753Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Parle ’91 Parallel Architectures and Languages Europe [electronic resource] : Volume I: Parallel Architectures and Algorithms Eindhoven, The Netherlands, June 10–13, 1991 Proceedings / edited by Emile H. L. Aarts, Jan Leeuwen, Martin Rem. by Aarts, Emile H. L [editor.] | Leeuwen, Jan [editor.] | Rem, Martin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Applications of Declarative Programming and Knowledge Management [electronic resource] : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers / edited by Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein. by Seipel, Dietmar [editor.] | Hanus, Michael [editor.] | Geske, Ulrich [editor.] | Bartenstein, Oskar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3392Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ECOOP’ 87 European Conference on Object-Oriented Programming [electronic resource] : Paris, France, June 15–17, 1987 Proceedings / edited by Jean Bézivin, Jean-Marie Hullot, Pierre Cointe, Henry Lieberman. by Bézivin, Jean [editor.] | Hullot, Jean-Marie [editor.] | Cointe, Pierre [editor.] | Lieberman, Henry [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 276Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
