Automated practical reasoning : algebraic approaches

Jochen Pfalzgraf and Dongming Wang (eds.) ; with a foreword by Jim Cunningham
Bok · Engelsk · 1995

Utgitt	Wien : Springer , c1995
Omfang	XI, 223 s. : ill.
Emner	(Matematikk) Automatic theorem proving Reasoning Bevisføring - Databehandling Vis mer... Kunstig intelligens Resonnering
ISBN	0387826009. - 3211826009