Your search returned 7 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Algebraic and Logic Programming [electronic resource] : Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings / by Series: Lecture Notes in Computer Science ; 632
Edition: 1st ed. 1992.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
2.
Trees in Algebra and Programming - CAAP '96 [electronic resource] : 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings / by Series: Lecture Notes in Computer Science ; 1059
Edition: 1st ed. 1996.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
3.
Frontiers of Combining Systems [electronic resource] : Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 1794
Edition: 1st ed. 2000.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
4.
Algebraic Methodology and Software Technology [electronic resource] : 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2422
Edition: 1st ed. 2002.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
5.
Automated Deduction - CADE-15 [electronic resource] : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 1421
Edition: 1st ed. 1998.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
6.
Rewriting, Computation and Proof [electronic resource] : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday / by Series: Theoretical Computer Science and General Issues ; 4600
Edition: 1st ed. 2007.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
7.
Algebraic and Logic Programming [electronic resource] : Second International Conference, Nancy, France, October 1-3, 1990. Proceedings / by Series: Lecture Notes in Computer Science ; 463
Edition: 1st ed. 1990.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990 In: Springer Nature eBook
Online access:
Availability: No items available.

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

Powered by Koha