عنوان

Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 2000 : proceedings

Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 2000 : proceedings

17th : 2000 : Pittsburgh, Pa.

Berlin

Springer-Verlag

c2000

xiii, ]517[ p.: ill., tables

Lecture notes in computer science; 1381. Lecture notes in artificial intelligence

Includes bibliographies

ISBN 3540676643

David McAllester )ed.(

Congresses ، Automatic theorem proving

Congresses ، Logic, Symbolic and mathematical

L28

Vol

1831

AU McAllester, David A.

SE Lecture notes in computer science 1831

International Conference on Automated Deduction