|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Logic for Programming and Automated Reasoning [electronic resource] : 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings / edited by Harald Ganzinger, David McAllester, Andrei Voronkov. by Ganzinger, Harald [editor.] | McAllester, David [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1705Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Theorem Proving in Higher Order Logics [electronic resource] : 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings / edited by Yves Bertot, Gilles Dowek, Laurent Théry, André Hirschowitz, Christine Paulin. by Bertot, Yves [editor.] | Dowek, Gilles [editor.] | Théry, Laurent [editor.] | Hirschowitz, André [editor.] | Paulin, Christine [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1690Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Applied Formal Methods — FM-Trends 98 [electronic resource] : International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings / edited by Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann. by Hutter, Dieter [editor.] | Stephan, Werner [editor.] | Traverso, Paolo [editor.] | Ullmann, Markus [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1641Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings / edited by Miki Hermann, Andrei Voronkov. by Hermann, Miki [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4246Source: 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): .
|
|
|
|
|
STACS 94 [electronic resource] : 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24–26, 1994 Proceedings / edited by Patrice Enjalbert, Ernst W. Mayr, Klaus W. Wagner. by Enjalbert, Patrice [editor.] | Mayr, Ernst W [editor.] | Wagner, Klaus W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 775Source: 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): .
|
|
|
|
|
Higher Order Logic Theorem Proving and Its Applications [electronic resource] : 6th International Workshop, HUG '93 Vancouver, B. C., Canada, August 11–13, 1993 Proceedings / edited by Jeffrey J. Joyce, Carl-Johan H. Seger. by Joyce, Jeffrey J [editor.] | Seger, Carl-Johan H [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 780Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Mathematical Foundations of Programming Semantics [electronic resource] : 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings / edited by Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt. by Brookes, Stephen [editor.] | Main, Michael [editor.] | Melton, Austin [editor.] | Mislove, Michael [editor.] | Schmidt, David [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 802Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Results and Trends in Theoretical Computer Science [electronic resource] : Colloquium in Honor of Arto Salomaa Graz, Austria, June 10–11, 1994 Proceedings / edited by Juliani Karhumäki, Hermann Maurer, Grzegorz Rozenberg. by Karhumäki, Juliani [editor.] | Maurer, Hermann [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 812Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Automata, Languages and Programming [electronic resource] : 21st International Colloquium, ICALP 94 Jerusalem, Israel, July 11–14, 1994 Proceedings / edited by Serge Abiteboul, Eli Shamir. by Abiteboul, Serge [editor.] | Shamir, Eli [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 820Source: 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): .
|
|
|
|
|
Higher-Order Algebra, Logic, and Term Rewriting [electronic resource] : First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers / edited by Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow. by Heering, Jan [editor.] | Meinke, Karl [editor.] | Möller, Bernhard [editor.] | Nipkow, Tobias [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 816Source: 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): .
|
|
|
|
|
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): .
|
