REAL
MagyarClear Cookie - decide language by browser settings

Items where Author is "Stannett, M"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.

Article

Stannett, M and Németi, István (2014) Using Isabelle/HOL to Verify First-Order Relativity Theory. JOURNAL OF AUTOMATED REASONING, 52 (4). pp. 361-378. ISSN 0168-7433

This list was generated on Wed May 7 05:05:22 2025 CEST.
EPrints Logo
Repository of the Academy's Library is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.