sebina, you, services, library, user

Proof theory and automated deduction / by Jean Goubault-Larrecq and Ian Mackie. - Dordrecht <etc.> : Kluwer, c1997. - XIV, 424 p. ; 25 cm.

Goubault-Larrecq, Jean

Testo a stampa (moderno) 1997