E-LIB Suche - Ergebnisse für: Jojgov, G.I.

1

A Calculus of Tactics and Its Operational Semantics:

Jojgov, G.I. ; Geuvers, H.
Electronic Notes in Theoretical Computer Science. 93 (2004) - p. 118-137 , 2004

2

Faithfully Reflecting the Structure of Informal Mathematica..:

Jojgov, G.I. ; Nederpelt, R.P. ; Scheffer, M.
Electronic Notes in Theoretical Computer Science. 93 (2004) - p. 102-117 , 2004

Link: https://doi.org/10.1016/..

3

Incomplete proofs and terms and their use in interactive th..:

Jojgov, G.I
Jojgov , G I 2004 , ' Incomplete proofs and terms and their use in interactive theorem proving ' , Doctor of Philosophy , Mathematics and Computer Science , Eindhoven . https://doi.org/10.6100/IR573767. , 2004

Link: https://research.tue.nl/..

4

Faithfully reflecting the structure of informal mathematica..:

Jojgov, G.I ; Nederpelt, R.P ; Scheffer, M
Jojgov , G I , Nederpelt , R P & Scheffer , M 2004 , Faithfully reflecting the structure of informal mathematical proofs into formal type theories . in Proceedings of the Mathematical Knowledge Management Symposium 2003 (Edinburgh, UK, November 25-29, 2003) . Electronic Notes in Theoretical Computer Science , vol. 93 , Elsevier , pp. 102-117 , Mathematical Knowledge Management Symposium 2003 , Edinburgh , United Kingdom , 25/11/03 . https://doi.org/10.1016/j.entcs.2003.12.030. , 2004

Link: https://research.tue.nl/..

5

Systems for open terms : an overview:

Jojgov, G.I
Jojgov , G I 2001 , Systems for open terms : an overview . Computer science reports , vol. 0103 , Technische Universiteit Eindhoven , Eindhoven .. , 2001

Link: https://research.tue.nl/..