Your search returned 3 results.

Results
	1.	Rules and Reasoning [electronic resource] : 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings / by Gutiérrez-Basulto, Víctor [editor.] Kliegr, Tomáš [editor.] Soylu, Ahmet [editor.] Giese, Martin [editor.] Roman, Dumitru [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12173 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Pattern Recognition [electronic resource] : 26th DAGM Symposium, August 30 - September 1, 2004, Proceedings / by Rasmussen, Carl Edward [editor.] Bülthoff, Heinrich H [editor.] Schölkopf, Bernhard [editor.] Giese, Martin A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3175 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings / by Giese, Martin [editor.] Waaler, Arild [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5607 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

© 2024 IIIT-Delhi, library@iiitd.ac.in