Your search returned 2 results.

Results
		No cover image available Complete local logics for reasoning about traces (R) by Adsul, Bharat [Author] \| Sohoni, Milind [Supervisor] \| Indian Institute of Technology Bombay. Department of Computer Science and Engineering. Language: English Publication details: Mumbai IIT 2004Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2004 Availability: Items available for reference: Not for loan (1) Call number: 043:681.327.8:517.1 Ads. Add to cart (remove)
		Argumentation mining (e-book) by Stede, Manfred [Author] \| Schneider, Jodi [Author]. Series: Synthesis lectures on human language technologiesMaterial type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: San Rafael Morgan and Claypool / IEEE Press / Springer 2019Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Refine your search