Sonsivri
 
*
Welcome, Guest. Please login or register.
Did you miss your activation email?
March 29, 2024, 11:58:02 11:58


Login with username, password and session length


Pages: [1]
Print
Author Topic: Automated Reasoning  (Read 2879 times)
0 Members and 1 Guest are viewing this topic.
nidhisahu
Hero Member
*****
Offline Offline

Posts: 3837

Thank You
-Given: 8
-Receive: 5231

Because Knowledge Should Be Free for ALL


« on: May 01, 2010, 08:45:46 20:45 »

David Basin, Michael Rusinowitch, «Automated Reasoning»
Springer | ISBN: 3540223452 | 2004 | PDF | 493 pages | 11.63 MB

This volume constitutes the proceedings of the 2nd International Joint Conference on Automated Reasoning (IJCAR 2004) held July 4–8, 2004 in Cork, Ireland. IJCAR 2004 continued the tradition established at the first IJCAR in Siena, Italy in 2001, which brought together different research communities working in automated reasoning. There were 74 research papers submitted to IJCAR as well as 12 system descriptions. After extensive reviewing, 26 research papers and 6 system descriptions were accepted for presentation at the conference and publication in this volume. In addition, this volume also contains papers from the three invited speakers and a description of the CADE ATP system competition. We would like to acknowledge the enormous amount of work put in by the members of the program committee, the various organizing and steering committees, the IJCAR officials, the invited speakers, and the additional referees named on the following pages. We would also like to thank Achim Brucker and Barbara Geiser for their help in producing this volume.

Link http://sharingmatrix.com/file/4114266

Mirror http://www.megaupload.com/?d=45JSNOFG
Logged

Vlsi@IIT
nidhisahu
Hero Member
*****
Offline Offline

Posts: 3837

Thank You
-Given: 8
-Receive: 5231

Because Knowledge Should Be Free for ALL


« Reply #1 on: May 21, 2010, 02:54:03 14:54 »

free server link

http://ifile.it/9koau3/basin.rar
Logged

Vlsi@IIT
Pages: [1]
Print
Jump to:  


DISCLAIMER
WE DONT HOST ANY ILLEGAL FILES ON THE SERVER
USE CONTACT US TO REPORT ILLEGAL FILES
ADMINISTRATORS CANNOT BE HELD RESPONSIBLE FOR USERS POSTS AND LINKS

... Copyright © 2003-2999 Sonsivri.to ...
Powered by SMF 1.1.18 | SMF © 2006-2009, Simple Machines LLC | HarzeM Dilber MC