Revision history for entry Gispert, Joan; Torrens, Antoni: Axiomatic Extensions of IMT3 Logic [GISAEO-2]
NB: for privacy reasons, few details are provided in public revision histories.
Time | Type | Notes |
2019-12-24T23:38:13 | update | System / admin update |
2019-02-06T16:33:57 | update | System / admin update |
2017-01-15T19:44:24 | update | System / admin update |
2016-12-08T07:31:15 | update | System / admin update |
2016-02-14T14:03:59 | update | System / admin update |
2016-02-05T09:04:51 | update | System / admin update |
2016-02-04T20:43:25 | add | System / admin update |
loading ..