Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA - detaljert visning

Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings


Utgitt	Berlin : Springer , c2000
Omfang	XIII, 512 s. : fig.
Emner	Bevisføring - Databehandling Matematisk logikk - Databehandling (Matematikk)
ISBN	3540676643