Automated deduction

CADE-17 : 17th international conference on automated deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings

Verfasser / Beitragende:
David McAllester, (ed.)
Ort, Verlag, Jahr:
Berlin [etc.] : Springer, 2000
Beschreibung:
XIII, 512 p. : ill. ; 24 cm
Format:
Buch (Kongress)
ID: 224276239