Automated deduction - CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, De - detaljert visning

Automated deduction - CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings


Utgitt	Berlin : Springer , c2002
Omfang	XII, 534 s. : ill.
Emner	Automatic theorem proving Logic, Symbolic and mathematical Automatisk bevisføring Bevisføring - Databehandling Matematisk logikk - Databehandling (Matematikk)
ISBN	3540439315