|
DSpace at RU >
University Library >
Academic bibliography >
| Title: | Mizar's Soft Type System |
| Author(s): | Wiedijk, Freek (073588261)
Schneider, K.
Brandt, J. |
| Publication year: | 2007 |
| Document type: | Article in monograph or in proceedings |
| Book title: | Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings |
| ISBN: | 3540745904
9783540745907 |
| Volume: | 4732 |
| Start page: | p. 383 |
| End page: | p. 399 |
| Publisher: | Berlin ; New York : Springer |
| Subject: | Foundations |
| Organization: | Foundations |
| Appears in Collections: | Academic bibliography
|
|
Please use this identifier to cite or link to this item:
http://hdl.handle.net/2066/34486
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
|
