The collected works of Larry Wos: Exploring the power of automated reasoning
Publisher:
ISBN: 9810249969,9789810249960,9810249985,9789810249984,9810240015,9789810240011,9810240023,9789810240028
Language:
English
Collections
:
-
Statistics
The collected works of Larry Wos: Exploring the power of automated reasoning
Show full item record
| contributor author | Wos L. | |
| contributor author | Pieper G.W. (eds.) | |
| date accessioned | 2020-04-21T19:30:20Z | |
| date available | 2020-04-21T19:30:20Z | |
| date copyright | 2000 | |
| identifier isbn | 9810249969,9789810249960,9810249985,9789810249984,9810240015,9789810240011,9810240023,9789810240028 | |
| identifier other | /pad-books/801000-900000/871000/2e4e1f2fcd2ce672380f57c60f9dbeca.djvu | |
| identifier uri | https://libsearch.um.ac.ir:443/fum/handle/fum/3031623 | |
| format mimetype | application/djvu | |
| language | English | |
| publisher | World Scientific | |
| title | The collected works of Larry Wos: Exploring the power of automated reasoning | |
| type | Ebook | |
| contenttype | Fulltext | |
| identifier padid | 934091 | |
| coverage | general | |
| pages | 1655 | |
| filesize | 10913734 | |
| identifier link | https://pad.um.ac.ir/file/view/934091 |