Automated Deduction – CADE-20: 20th International...

Main
Computers - Computer Science
Automated Deduction – CADE-20: 20th...

Automated Deduction – CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings

Name: Automated Deduction – CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings
ISBN: 9783540280057

Gilles Dowek (auth.), Robert Nieuwenhuis (eds.)

0 / 0

0 comments

دا کتاب تاسو ته څنګه خواښه شوه؟

د بار شوي فایل کیفیت څه دئ؟

تر څو چې د کتاب کیفیت آزمایښو وکړئ، بار ئې کړئ

د بار شوو فایلونو کیفیتی څه دئ؟

This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held in Tallinn, Estonia, in July 2005.

The 25 revised full papers and 5 system descriptions presented were carefully reviewed and selected from 78 submissions. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems.

درجه (قاطیغوری(:

Computers - Computer Science

کال:

2005

خپرونه:

خپرندویه اداره:

Springer-Verlag Berlin Heidelberg

ژبه:

english

صفحه:

466

ISBN 10: