|
|
|
|
|
|
|
|
|
|
|
|
|
|
Theorem Proving with Analytic Tableaux and Related Methods [electronic resource] : 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings / edited by Peter Baumgartner, Reiner Hähnle, Joachim Possega. by Baumgartner, Peter [editor.] | Hähnle, Reiner [editor.] | Possega, Joachim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 918Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Logic Programming and Nonmonotonic Reasoning [electronic resource] : Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings / edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński. by Marek, V. Wiktor [editor.] | Nerode, Anil [editor.] | Truszczyński, M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 928Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [electronic resource] : 11th International Symposium, AAECC-11 Paris, France, July 17–22, 1995 Proceedings / edited by Gérard Cohen, Marc Giusti, Teo Mora. by Cohen, Gérard [editor.] | Giusti, Marc [editor.] | Mora, Teo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 948Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Logics in Artificial Intelligence [electronic resource] : European Workshop, JELIA’ 98 Dagstuhl, Germany, October 12–15, 1998 Proceedings / edited by Jürgen Dix, Luís Fariñas Cerro, Ulrich Furbach. by Dix, Jürgen [editor.] | Cerro, Luís Fariñas [editor.] | Furbach, Ulrich [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1489Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Types for Proofs and Programs [electronic resource] : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers / edited by Marino Miculan, Ivan Scagnetto, Furio Honsell. by Miculan, Marino [editor.] | Scagnetto, Ivan [editor.] | Honsell, Furio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4941Source: 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): .
|
|
|
|
|
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): .
|
|
|
|
|
Higher-Order Algebra, Logic, and Term Rewriting [electronic resource] : Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers / edited by Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller. by Dowek, Gilles [editor.] | Heering, Jan [editor.] | Meinke, Karl [editor.] | Möller, Bernhard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1074Source: 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): .
|
|
|
|
|
|
|
|
|
|
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): .
|
|
|
|
|
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): .
|
