ERGO 6: A generic proof engine that uses prolog proof technology
Contribuinte(s) |
J. Davenport |
---|---|
Data(s) |
01/01/2002
|
Identificador | |
Idioma(s) |
eng |
Publicador |
Cambridge University Press |
Palavras-Chave | #C1 #280406 Mathematical Software #700101 Application packages |
Tipo |
Journal Article |