ENGLISH

Analysis and Synthesis of Logics - How to Cut and Paste Reasoning Systems

By Dov M. Gabbay , Walter Carnielli , Marcelo Coniglio , Paula Gouveia , Cristina Sernadas

Book information

Publisher
Springer
Year
2008
ISBN
140206781X, 978-1-4020-6781-5, 978-1-4020-6782-2
Language
english
Format
PDF
Filesize
5 MB (5511784 bytes)
Series
Applied Logic Series
Pages
610\610
Topic
Education
Library
torrents.ru tech collections 2009-11-14
Time added
2010-01-11 02:35:34

Similar books