Your search returned 2 results.

Results
	1.	Dynamic logic/ David Harel, Dexter Kozen, Jerzy Tiuryn by Harel, David, 1950- Kozen, Dexter, 1951- Tiuryn, Jerzy Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Adult; Language: English Publication details: New Delhi : Prentice-Hall, 2007 Availability: Items available for loan: National Library of India (1)Call number: E 004.015113 H 222. Place hold Request article Save to lists
	2.	Computers in language research : formal methods / edited by Walter A. Sedelow Jr., and Sally Yeates Sedelow by Sedelow, Walter A [edt] Sedelow, Sally Yeates, 1931- [edt] Series: Trends in linguistics. Studies and monographs ; ; v. 5 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: The Hague : Mouton, 1979 Availability: Items available for loan: National Library of India (1)Call number: E 410.285 Se 27. Place hold Request article Save to lists

Refine your search