Automated deduction - CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings

Bibliographic Information

Automated deduction - CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings

Franz Baader (ed.)

(Lecture notes in computer science, 2741 . Lecture notes in artificial intelligence)

Springer, c2003

Available at  / 27 libraries

Search this Book/Journal

Note

Includes bibliographies and index

Related Books: 1-1 of 1

Details

Page Top