Automated deduction CADE-11
11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings
Livre Ecrit par: international conference on automated deduction (11 ; 1992 ; Saratoga Springs, New York, Etats-Unis) ; Kapur, Deepak ; Publié en: cop. 1992
Edition:
Berlin; New York:
Springer-Verlag
Langue:
Anglais
Collation:
XV-793 p. ill.
;24 cm
ISBN: 3540556028