|
|
|
|
|
|
|
Theorem Proving with Analytic Tableaux and Related Methods [electronic resource] : 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings / edited by P. Miglioli, U. Moscato, D. Mundici, M. Ornaghi. by Miglioli, P [editor.] | Moscato, U [editor.] | Mundici, D [editor.] | Ornaghi, M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1071Source: 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): .
|
|
|
|
|
|
|
|
Graph Grammars and Their Application to Computer Science [electronic resource] : 5th International Workshop Williamsburg, VA, USA, November 13–18, 1994 Selected Papers / edited by Janice Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg. by Cuny, Janice [editor.] | Ehrig, Hartmut [editor.] | Engels, Gregor [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1073Source: 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): .
|
|
|
|
Advances in Knowledge Acquisition [electronic resource] : 9th European Knowledge Acquisition Workshop, EKAW '96 Nottingham, United Kingdom, May 14–17, 1996 Proceedings / edited by Nigel Shadbolt, Kieron O'Hara, Guus Schreiber. by Shadbolt, Nigel [editor.] | O'Hara, Kieron [editor.] | Schreiber, Guus [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1076Source: 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): .
|
|
|
|
DNA Computing [electronic resource] : 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers / edited by Chengde Mao, Takashi Yokomori. by Mao, Chengde [editor.] | Yokomori, Takashi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4287Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Audio- and Video-based Biometric Person Authentication [electronic resource] : First International Conference, AVBPA'97 Crans-Montana, Switzerland, March 12–14, 1997 Proceedings / edited by Josef Bigün, Gérard Chollet, Gunilla Borgefors. by Bigün, Josef [editor.] | Chollet, Gérard [editor.] | Borgefors, Gunilla [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1206Source: 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): .
|
|
|
|
|
|
|
|
Intelligent Agent Systems Theoretical and Practical Issues [electronic resource] : Based on a Workshop Held at PRICAI '96 Cairns, Australia, August 26–30, 1996 / edited by Lawrence Cavedon, Anand Rao, Wayne Wobcke. by Cavedon, Lawrence [editor.] | Rao, Anand [editor.] | Wobcke, Wayne [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1209Source: 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): .
|
|
|
|
Foundations of Intelligent Systems [electronic resource] : 9th International Symposium, ISMIS '96 Zakopane, Poland, June 9–13, 1996 Proceedings / edited by Zbigniew W. Raś, Maciek Michalewicz. by Raś, Zbigniew W [editor.] | Michalewicz, Maciek [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1079Source: 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): .
|
|
|
|
Artificial Intelligence in Medicine [electronic resource] : 6th Conference on Artificial Intelligence in Medicine Europe, AIME'97 Grenoble, France, March 23–26, 1997 Proceedings / edited by Elpida Keravnou, Catherine Garbay, Robert Baud, Jeremy Wyatt. by Keravnou, Elpida [editor.] | Garbay, Catherine [editor.] | Baud, Robert [editor.] | Wyatt, Jeremy [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence (LNAI) ; 1211Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Practical Reasoning [electronic resource] : International Conference on Formal and Applied Practical Reasoning, FAPR'96 Bonn, Germany, June 3–7, 1996 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 ; 1085Source: 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): .
|
|
|
|
Distributed Artificial Intelligence Architecture and Modelling [electronic resource] : First Australian Workshop on DAI Canberra, ACT, Australia, November 13, 1995 Proceedings / edited by Chengqi Zhang, Dickson Lukose. by Zhang, Chengqi [editor.] | Lukose, Dickson [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1087Source: 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): .
|
|
|
|
Intelligent Tutoring Systems [electronic resource] : Third International Conference, ITS '96 Montréal, Canada, June 12–14, 1996 Proceedings / edited by Claude Frasson, Gilles Gauthier, Alan Lesgold. by Frasson, Claude [editor.] | Gauthier, Gilles [editor.] | Lesgold, Alan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1086Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Persuasive Technology [electronic resource] : Third International Conference, PERSUASIVE 2008, Oulu, Finland, June 4-6, 2008. Proceedings / edited by Harri Oinas-Kukkonen, Per Hasle, Marja Harjumaa, Katarina Segerståhl, Peter Øhrstrøm. by Oinas-Kukkonen, Harri [editor.] | Hasle, Per [editor.] | Harjumaa, Marja [editor.] | Segerståhl, Katarina [editor.] | Øhrstrøm, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5033Source: 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): .
|
|
|
|
Reasoning with Uncertainty in Robotics [electronic resource] : International Workshop, RUR '95 Amsterdam, The Netherlands December 4–6, 1995 Proceedings / edited by Leo Dorst, Michiel Lambalgen, Frans Voorbraak. by Dorst, Leo [editor.] | Lambalgen, Michiel [editor.] | Voorbraak, Frans [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1093Source: 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): .
|