Handbook of automated reasoning; volume IPDF电子书下载
- 电子书积分:25 积分如何计算积分?
- 作 者:editors Alan Robinson and Andrei Voronkov
- 出 版 社:Elsevier Science/the mit press
- 出版年份:2001
- ISBN:0444829490
- 页数:970 页
图书介绍:
《Handbook of automated reasoning; volume I》目录
标签:
相关图书
作者其它书籍
- 《绿色化学与技术 英文版》Chief editors; Zhang Long,Gong Changsheng,Dai Bin 2018
- 《治理、政治与国家=GOVERNANCE》POLITICS AND THE STATE
- 《暗黑之门 历任首相主导下的英国情报史话=SPIES》SECRET INTELLIGENCE AND BRITISH PRIME MINISTERS
- 《石像、神庙与失落的文明:改写世界文明史的玛雅发现之旅=THE EXTRAORDINARY JOUMEY OF JOHN L.STEPHENS AND FREDERICK CSTHERW》AND THE DISCOVERY OF THE LOST CIVILIZATION OF THE MAYA
- 《中国影视娱乐合同范本与风险防范=Chinas Film》Television and Entertainment Industry Contract Model and Risk Prevention
- 《政治观念史稿·卷一 希腊化、罗马和早期基督教=HISTORY OF POLITICAL IDEAS(VOLUMR 1) HELLENISM》ROME AND EARLY CHRISTIANITY
- 《PIANO ADVENTURES THE BASIC PIANO METHOD LEVEL 3B LESSON BOOK 2ND EDITION》NANCY AND RANDALL FABER 2015
- 《MOONSHOTS IN EDUCATION LAUNCHING BLENDED LEARNING IN THE COASSROOM》ESTHER WOJCICKI AND LANCE LZUMI 2015
- 《CHINAS NEW URBANIZATION DEVELOPMENTAL PATHS》 BLUEPRINTS AND PATTERNS SCIE
- 《DREAM FOR SOLO PERCUSIONIST (CROTALES》 VIBRAPHONE AND JOHN
出版社其它书籍
- 《模形式的p-进性质》陶利群译;(印度)巴斯卡·巴拉素布拉曼扬 2019
- 《你也可以创造生命的奇迹 来自全球的自我疗愈实证与方法 miraculous moments and extraordinary stories from people all over the w》露易丝·贺(Louise L. Hay)著 2012
- 《“中国印”的世界 骆芃芃篆刻书法艺术展作品集 the collection of exhibition of seal engraving and calligraphic works》骆芃芃著 2012
- 《THE CASE-STUDY METHOD IN PSYCHOLOGY AND RELATED DISCIPLINES》 1986
- 《冷战后美日同盟转型研究=STUDY ON TRANSFORMATION OF THE US-JAPAN ALLIANCE AFTER THE COLD WAR》衣昭杰著 2020
- 《现代艺术的源代码=THE SHORT STORY OF MODERN ART》(英)苏西·霍奇著 2020
- 《信念共同体:法与经济学的新方法=THE REPUBLIC A NEW APPROACH TO LAW AHD ECONOMICS》(印)考希克·巴苏(KaushilBasu)著 2020
- 《唐帝国的香气=A BRIEF HISTORY OF THE TANG DYNASTY》殷靖著 2020
- 《细节中的新中国史=THE HISTORY OF THE PEOPLES REPUBLIC OF CHINA IN DETAILS》张神根 2020
- 《表达自由的法律界限:美国最高法院的探索=THE LEGAL BOUNDARIES OF FREE SPEECH:THE UNITED STATES SUPREME COURTS E》郑海平著 2019