Automated Reasoning
By: Material type:
TextLanguage: English Publication details: Springer; Springer; 2020ISBN: - 9783030510541
eBooks
| Item type | Current library | Home library | Status | Barcode | |
|---|---|---|---|---|---|
eBooks
|
Central Library | Central Library | Available | CL1759005 |
There are no comments on this title.
Log in to your account to post a comment.
-
24201
Artificial Assemblies with Cooperative DNA Recognition
by Zutao YU -
24202
When Money Changes Society
by Giacomo Bazzani -
24203
Neural Control of Renewable Electrical Power Systems
by Edgar N. Sánchez, Larbi Djilali -
24204
A Pipelined Multi-Core Machine with Operating System Support
by Petro Lutsyk, Jonas Oberhauser, Wolfgang J. Paul -
24205
Linguistics for TESOL
by Hannah Valenzuela -
24206
The Structure of Complex Images
by Robert B. Ray -
24207
(Re-)Defining Racism
by Alberto G. Urquidez -
24208
Lectures on Kinetic Processes in Materials
by Han-Ill Yoo -
24209
Startups in Action
by JP Silva -
24210
IoT Machine Learning Applications in Telecom, Energy, and Agriculture
by Puneet Mathur -
24211
Developments and Advances in Defense and Security
by Álvaro Rocha, Manolo Paredes-Calderón, Teresa Guarda -
24212
Intelligent Technologies and Applications
by Imran Sarwar Bajwa, Tatjana Sibalija, Dayang Norhayati Abang Jawawi -
24213
Radical Solutions and Learning Analytics
by Daniel Burgos -
24214
Biotechnological Applications in Human Health
by Provash Chandra Sadhukhan, Sanjay Premi -
24215
Economics and Finance Readings
by Evan Lau, Biagio Simonetti, Irwan Trinugroho, Lee Ming Tan -
24216
Services of General Economic Interest in EU Competition Law
by Lei Zhu -
24217
Advances in Knowledge Discovery and Data Mining
by Hady W. Lauw, Raymond Chi-Wing Wong, Alexandros Ntoulas, Ee-Peng Lim, See-Kiong Ng, Sinno Jialin Pan -
24218
Advances in Knowledge Discovery and Data Mining
by Hady W. Lauw, Raymond Chi-Wing Wong, Alexandros Ntoulas, Ee-Peng Lim, See-Kiong Ng, Sinno Jialin Pan -
24219
Energy Storage
by Manuel Bailera, Pilar Lisbona, Begoña Peña, Luis M. Romeo -
24220
Ecosystem Services for Urban Water Security
by Blal Adem Esmail, Davide Geneletti -
24221
Hedwig Conrad-Martius’ Ontological Phenomenology
by James G. Hart, Rodney K. B. Parker -
24222
Evidence and Hypothesis in Clinical Medical Science
by John Alexander Pinkston -
24223
Preclinical Evaluation of Antimicrobial Nanodrugs
by Juan Bueno -
24224
Prospects of Fresh Market Wastes Management in Developing Countries
by Adel Ali Saeed Al-Gheethi, Radin Maya Saphira Radin Mohamed, Efaq Ali Noman, Amir Hashim Mohd Kassim -
24225
Sustainable Food Drying Techniques in Developing Countries: Prospects and Challenges
by Mahadi Hasan Masud, Azharul Karim, Anan Ashrabi Ananno, Asif Ahmed -
24226
A Course in Algebraic Error-Correcting Codes
by Simeon Ball -
24227
Practical Aspects of Chemical Engineering
by Marek Ochowiak, Szymon Woziwodzki, Piotr Tomasz Mitkowski, Micha? Doligalski -
24228
Guide to Competitive Programming
by Antti Laaksonen -
24229
European Missions to the International Space Station
by John O'Sullivan -
24230
A Guided Tour of Artificial Intelligence Research
by Pierre Marquis, Odile Papini, Henri Prade -
24231
Recent Trends in Decision Science and Management
by Tao-Sheng Wang, Andrew W. H. Ip, Madjid Tavana, Vipul Jain -
24232
Microbial Photosynthesis
by Qiang Wang -
24233
Advances in Energy Research, Vol. 1
by Suneet Singh, Venkatasailanathan Ramadesigan -
24234
Advances in Geophysical Methods Applied to Forensic Investigations
by Giovanni Leucci -
24235
Discourses of Cycling, Road Users and Sustainability
by M. Cristina Caimotto -
24236
Algorithmic Foundations of Robotics XIII
by Marco Morales, Lydia Tapia, Gildardo Sánchez-Ante, Seth Hutchinson -
24237
Artificial Intelligence in Economics and Finance Theories
by Tankiso Moloi, Tshilidzi Marwala -
24238
Education Level and Police Use of Force
by John Vespucci -
24239
Problematic Wildlife II
by Francesco Maria Angelici, Lorenzo Rossi -
24240
Mechanisms of Genome Protection and Repair
by Dmitry O. Zharkov -
24241
Physics and Mathematics of Quantum Many-Body Systems
by Hal Tasaki -
24242
Luc Reychler: A Pioneer in Sustainable Peacebuilding Architecture
by Luc Reychler, Arnim Langer -
24243
Genetic Programming Theory and Practice XVII
by Wolfgang Banzhaf, Erik Goodman, Leigh Sheneman, Leonardo Trujillo, Bill Worzel -
24244
Talking Bodies Vol. II
by Bodie A. Ashton, Amy Bonsall, Jonathan Hay -
24245
A Guided Tour of Artificial Intelligence Research
by Pierre Marquis, Odile Papini, Henri Prade -
24246
A Guided Tour of Artificial Intelligence Research
by Pierre Marquis, Odile Papini, Henri Prade -
24247
Ineffability and its Metaphysics
by Silvia Jonas -
24248
Ion Irradiation of Dielectrics for Photonic Applications
by Feng Chen, Hiroshi Amekura, Yuechen Jia -
24249
Femina Problematis Solvendis—Problem solving Woman
by David H. Cropley -
24250
Environmental Management
by Basharat Mushtaq, Suhaib A. Bandh, Sana Shafi
Automated Reasoning
APA
Nicolas Peltier V. S., .Automated Reasoning. : Springer.
Chicago
Nicolas Peltier Viorica Sofronie-Stokkermans, .Automated Reasoning. : Springer.
Harvard
Nicolas Peltier V. S., .Automated Reasoning. : Springer.
MLA
Nicolas Peltier Viorica Sofronie-Stokkermans, .: Springer. .
