Automated deduction
CADE-17 : 17th international conference on automated deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings
Gespeichert in:
Verfasser / Beitragende:
David McAllester, (ed.)
Ort, Verlag, Jahr:
Berlin [etc.] :
Springer,
2000
Beschreibung:
XIII, 512 p. : ill. ; 24 cm
Format:
Buch (Kongress)