Results
|
|
|
|
|
Logic program synthesis and transformation-- Meta-programming in Logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : proceedings / Laurent Fribourg, Franco Turini, (eds.). by International Workshop on Logic Program Synthesis and Transformation (4th : 1994 : Pisa, Italy) | Fribourg, Laurent, 1957- | Turini, Franco, 1949- | META '94 (1994 : Pisa, Italy). Series: Serienbezeichnung | Lecture notes in computer science ; 883.Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1994Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
|
|
Grammatical inference : 4th international colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998 : proceedings / Vasant Honavar, Giora Slutzki (eds.). by Honavar, Vasant | Slutzki, Giora | International Colloquium on Grammatical Inference (4th : 1998 : Ames, Iowa). Series: Serienbezeichnung | Lecture notes in computer science ; 1433. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©1998Other title: ICGI-98, grammatical inference.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings / Jim Grundy, Malcolm Newey, (eds.). by TPHOLs (11th : 1998 : Canberra, A.C.T.) | Grundy, J. (Jim), 1968- | Newey, Malcolm Charles. Series: Serienbezeichnung | Lecture notes in computer science ; 1479.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©1998Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Tools and algorithms for the construction and analysis of systems : 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999 : proceedings / W. Rance Cleaveland, ed. by TACAS '99 (1999 : Amsterdam, Netherlands) | Cleaveland, W. R. (Walter Rance), 1961- | ETAPS (Conference) (2nd : 1999 : Amsterdam, Netherlands). Series: Serienbezeichnung | Lecture notes in computer science ; 1579.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings / Joost-Pieter Katoen, Perdita Stevens (eds.). by TACAS (Conference) (8th : 2002 : Grenoble, France) | Katoen, Joost-Pieter | Stevens, Perdita | LINK (Online service) | ETAPS (Conference) (2002 : Grenoble, France). Series: Serienbezeichnung | Lecture notes in computer science ; 2280.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; Hong Kong : Springer-Verlag, ©2002Other title: TACAS 2002 | ETAPS 2002.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings / Hubert Garavel, John Hatcliff (eds.). by TACAS (Conference) (9th : 2003 : Warsaw, Poland) | Garavel, Hubert, 1963- | Hatcliff, John, 1966- | ETAPS (Conference) (6th : 2003 : Warsaw, Poland). Series: Serienbezeichnung | Lecture notes in computer science ; 2619.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
|
|
|
|
|
|
|
|
CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.). by Börger, E. (Egon), 1946- [edt] | Kleine Büning, H. (Hans) [edt] | Richter, Michael M, 1938- [edt] | Workshop on Computer Science Logic (3rd : 1989 : Kaiserslautern, Germany). Series: SerienbezeichnungMaterial type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin : Springer-Verlag, ©1990Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Logics in artificial intelligence : European workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996 : proceedings / José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska, (eds.). by Alferes, José Júlio [edt] | Pereira, Luís Moniz [edt] | Orlowska, Ewa [edt] | European Workshop on Logics in Artificial Intelligence (1996 : Évora, Portugal) | Journées Européennes sur la Logique en Intelligence Artificielle, JELIA. Series: Serienbezeichnung | Lecture notes in computer science ; 1126. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin : Springer, c. 1996Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
|
|
|
|
|
Logical aspects of computational linguistics : 4th international conference, LACL 2001, Le Croisic, France, June 27-29 2001 : proceedings / Philippe de Groote, Glyn Morrill, Christian Retoré (eds.). by LACL 2001 (2001 : Le Croisic, France) | De Groote, Philippe | Morrill, Glyn V | Retoré, Christian. Series: Serienbezeichnung | Lecture notes in computer science ; 2099. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
|
|
|
|
|
|
|
|
Developments in language theory : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007 : proceedings / Tero Harju, Juhani Karhumäki, Arto Lepistö (eds.). by Conference on Developments in Language Theory (11th : 2007 : Turku, Finland) | Harju, T | Karhumäki, Juhani | Lepistö, Arto. Series: Serienbezeichnung | Lecture notes in computer science ; 4588. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Source: Springer e-booksMaterial type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2007Other title: DLT 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|