Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Eston - detaljert visning

Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings


Utgitt	Berlin : Springer , c2005
Omfang	XIII, 457 s. : ill.
Emner	Bevisføring - Databehandling Matematisk logikk - Databehandling (Matematikk)
ISBN	3540280057. - 9783540280057