|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computer Science Logic [electronic resource] : 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings / edited by Julian Bradfield. by Bradfield, Julian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2471Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Other title: 22-25, 2002, Proceedings.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
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): .
|
|
|
|
Computational Logic and Proof Theory [electronic resource] : Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings / edited by Georg Gottlob, Alexander Leitsch, Daniele Mundici. by Gottlob, Georg [editor.] | Leitsch, Alexander [editor.] | Mundici, Daniele [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 713Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Logic, Language, Information and Computation [electronic resource] : 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings / edited by Anuj Dawar, Ruy Queiroz. by Dawar, Anuj [editor.] | Queiroz, Ruy [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6188Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Sorts and Types in Artificial Intelligence [electronic resource] : Workshop, Eringerfeld, FRG, April 24–26, 1989 Proceedings / edited by Karl Hans Bläsius, Ulrich Hedtstück, Claus-Rainer Rollinger. by Bläsius, Karl Hans [editor.] | Hedtstück, Ulrich [editor.] | Rollinger, Claus-Rainer [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 418Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Intelligent Computer Mathematics [electronic resource] : 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings / edited by Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk. by Autexier, Serge [editor.] | Campbell, John [editor.] | Rubio, Julio [editor.] | Sorge, Volker [editor.] | Suzuki, Masakazu [editor.] | Wiedijk, Freek [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5144Source: 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): .
|
|
|
|
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings / edited by Claudio Sossai, Gaetano Chemello. by Sossai, Claudio [editor.] | Chemello, Gaetano [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5590Source: 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): .
|
|
|
|
Language and Automata Theory and Applications [electronic resource] : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe. by Dediu, Adrian-Horia [editor.] | Martín-Vide, Carlos [editor.] | Truthe, Bianca [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7810Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Computer-Aided Verification [electronic resource] : 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings / edited by Edmund M. Clarke, Robert P. Kurshan. by Clarke, Edmund M [editor.] | Kurshan, Robert P [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 531Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Theorem Proving in Higher Order Logics [electronic resource] : 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings / edited by David Basin, Burkhart Wolff. by Basin, David [editor.] | Wolff, Burkhart [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2758Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Computability and Complexity in Analysis [electronic resource] : 4th International Workshop, CCA 2000 Swansea, UK, September 17–19, 2000 Selected Papers / edited by Jens Blanck, Vasco Brattka, Peter Hertling. by Blanck, Jens [editor.] | Brattka, Vasco [editor.] | Hertling, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2064Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Proof Theory in Computer Science [electronic resource] : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings / edited by Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk. by Kahle, Reinhard [editor.] | Schroeder-Heister, Peter [editor.] | Stärk, Robert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2183Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Mathematical Foundations of Programming Semantics [electronic resource] : 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 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 ; 598Source: 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): .
|