Title:
Automated practical reasoning: algebraic approaches
Contributer:
Pfalzgraf, Jochen
,
Wang, Dongming
Publisher:
Berlin u.a. :Springer,
Year of publication:
1995
Pages:
223 S.
Series Statement:
Reihe: Texts and monographs of symbolic computation
Type of Medium:
Book
Permalink