Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Automated Deduction - CADE-17 [electronic resource] : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 1831
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
2.
Logic Programming and Automated Reasoning [electronic resource] : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 1705
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
Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in