|
|
|
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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computer Science Logic [electronic resource] : 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings / edited by Matthias Baaz, Johann A. Makowsky. by Baaz, Matthias [editor.] | Makowsky, Johann A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2803Source: 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): .
|
|
|
|
Grammatical Inference: Algorithms and Applications [electronic resource] : 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006. Proceedings / edited by Yasubumi Sakakibara, Satoshi Kobayashi, Kengo Sato, Tetsuro Nishino, Etsuji Tomita. by Sakakibara, Yasubumi [editor.] | Kobayashi, Satoshi [editor.] | Sato, Kengo [editor.] | Nishino, Tetsuro [editor.] | Tomita, Etsuji [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4201Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Natural Language Processing and Information Systems [electronic resource] : 5th International Conference on Applications of Natural Language to Information Systems, NLDB 2000 Versailles, France, June 28–30,2000 Revised Papers / edited by Mokrane Bouzeghoub, Zoubida Kedad, Elisabeth Métais. by Bouzeghoub, Mokrane [editor.] | Kedad, Zoubida [editor.] | Métais, Elisabeth [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1959Source: 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): .
|
|
|
|
Constraints in Computational Logics [electronic resource] : Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures / edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Hubert Comon, Claude Marché, Ralf Treinen. by Goos, Gerhard [editor.] | Hartmanis, Juris [editor.] | Leeuwen, Jan [editor.] | Comon, Hubert [editor.] | Marché, Claude [editor.] | Treinen, Ralf [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2002Source: 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): .
|
|
|
|
|
|
|
|
Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 [electronic resource] : 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirão Preto, Brazil, October 23-27, 2006. Proceedings / edited by Jaime Simão Sichman, Helder Coelho, Solange Oliveira Rezende. by Sichman, Jaime Simão [editor.] | Coelho, Helder [editor.] | Rezende, Solange Oliveira [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4140Source: 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): .
|
|
|
|
Formal Approaches to Agent-Based Systems [electronic resource] : First InternationalWorkshop, FAABS 2000 Greenbelt, MD, USA, April 5–7, 2000 Revised Papers / edited by James L. Rash, Walt Truszkowski, Michael G. Hinchey, Christopher A. Rouff, Diana Gordon. by Rash, James L [editor.] | Truszkowski, Walt [editor.] | Hinchey, Michael G [editor.] | Rouff, Christopher A [editor.] | Gordon, Diana [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1871Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|