Back to Search Start Over

ERIL - equational reasoning: an interactive laboratory

Authors :
A. J. J. Dick
Source :
EUROCAL '85 ISBN: 9783540159841, European Conference on Computer Algebra (2)
Publication Year :
1985

Subjects

Subjects :
Critical pair
ERIL
Equational reasoning
Deductive reasoning
Computer science
Programming language
Laboratory informatics
Partial algebra
computer.software_genre
computer
Computing and Computers

Details

Language :
English
ISBN :
978-3-540-15984-1
ISBNs :
9783540159841
Database :
OpenAIRE
Journal :
EUROCAL '85 ISBN: 9783540159841, European Conference on Computer Algebra (2)
Accession number :
edsair.doi.dedup.....d88e37b2f645df6ca0e12e4de0cd136e

Tools

Authors Abstract Subjects Details