Eintrag weiter verarbeiten
Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology
Gespeichert in:
Zeitschriftentitel: | LMS Journal of Computation and Mathematics |
---|---|
Personen und Körperschaften: | , , |
In: | LMS Journal of Computation and Mathematics, 5, 2002, S. 194-219 |
Medientyp: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Wiley
|
Schlagwörter: |