Eintrag weiter verarbeiten
Buchumschlag von Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology
Verfügbar über Open Access

Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology

Gespeichert in:

Bibliographische Detailangaben
Zeitschriftentitel: LMS Journal of Computation and Mathematics
Personen und Körperschaften: Utting, Mark, Robinson, Peter, Nickson, Ray
In: LMS Journal of Computation and Mathematics, 5, 2002, S. 194-219
Medientyp: E-Article
Sprache: Englisch
veröffentlicht:
Wiley
Schlagwörter: