عنوان

Theorem proving in higher order logics : 11th International Conference, TPHOLs'98, Canberra, Australia, September 27-October 2, 1997 : proceedings

Theorem proving in higher order logics : 11th International Conference, TPHOLs'98, Canberra, Australia, September 27-October 2, 1997 : proceedings

1998: Canberra, Australia

Berlin

Springer-Verlag

c1998

viii, ]497[ p.: ill., tables

Lecture notes in computer science; 9741

Includes bibliographies

ISBN 3540649875

Jim Grundy, Malcolm Newey, )eds.(

Congresses ، Automatic theorem proving

Congresses ، Logic, Symbolic and mathematical

L28

Vol

1479

AU Grundy, Jim, 1968-

AU Newey, Malcolm Charles

TPHOLs