Your search returned 23 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
21.
Typed Lambda Calculi and Applications [electronic resource] : 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1581
Edition: 1st ed. 1999.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
22.
Logic Program Synthesis and Transformation [electronic resource] : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings / by Series: Lecture Notes in Computer Science ; 1207
Edition: 1st ed. 1997.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
23.
Typed Lambda Calculi and Applications [electronic resource] : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1210
Edition: 1st ed. 1997.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in