8th International conference on automated deduction
Oxford, England, July 27-August 1, 1986 : proceedings
Gespeichert in:
Verfasser / Beitragende:
ed. by Jörg H. Siekmann
Ort, Verlag, Jahr:
Berlin [etc.] :
Springer,
1986
Beschreibung:
IX, 708 p. : fig. ; 25 cm
Format:
Buch (Kongress)