Clear Languages
Subject
Format
Availabity
Authors

Search result

Özgür Lütfü Özçep - Representation Theorems in Computer Science
Özgür Lütfü Özçep Representation Theorems in Computer Science English 01.01.2019 Hardback Fr. 135.00 6-7 weeks
M Aquil Khan, Md Aquil Khan, Aquil Khan, Md. Aquil Khan, Manuel, Manuel... - Logic and Its Applications
M Aquil Khan, Md Aquil Khan, Aquil Khan, Md. Aquil Khan, Manuel, Manuel... Logic and Its Applications English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
France Carlo Morabito et al, Anna Esposito, Marcos Faundez Zanuy, Marco Faundez-Zanuy, Marcos Faundez-Zanuy, Francesco Carlo Morabito... - Neural Approaches to Dynamics of Signal Exchanges
France Carlo Morabito et al, Anna Esposito, Marcos Faundez Zanuy, Marco Faundez-Zanuy, Marcos Faundez-Zanuy, Francesco Carlo Morabito... Neural Approaches to Dynamics of Signal Exchanges English 01.01.2019 Hardback Fr. 135.00 6-7 weeks
Christian Eichhorn - Rational Reasoning with Finite Conditional Knowledge Bases
Christian Eichhorn Rational Reasoning with Finite Conditional Knowledge Bases English 07.02.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Clayton Lewis - Artificial Psychology
Clayton Lewis Artificial Psychology English 13.04.2025 Hardback Fr. 56.90 6-7 weeks
Yanto Chandra, Fan, Ruiping Fan, Ruiping, Fan Ruiping, Chandra Yanto - Artificial Intelligence and the Future of Human Relations
Yanto Chandra, Fan, Ruiping Fan, Ruiping, Fan Ruiping, Chandra Yanto Artificial Intelligence and the Future of Human Relations English 06.08.2025 Hardback Fr. 169.00 6-7 weeks
Wei Li, Yuefei Sui - R-Calculus, VI: Finite Injury Priority Method
Wei Li, Yuefei Sui R-Calculus, VI: Finite Injury Priority Method English 01.12.2024 Hardback Fr. 189.00 6-7 weeks
Yong Cheng - Joint Training for Neural Machine Translation
Yong Cheng Joint Training for Neural Machine Translation English 30.11.2019 Hardback Fr. 70.00 6-7 weeks
Piotre Hofman, Piotrek Hofman, Skrzypczak, Skrzypczak, Micha¿ Skrzypczak, Michal Skrzypczak... - Developments in Language Theory
Piotre Hofman, Piotrek Hofman, Skrzypczak, Skrzypczak, Micha¿ Skrzypczak, Michal Skrzypczak... Developments in Language Theory English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Jean Baratgin, Emmanuel Brochier, Emmanuel Brochier et al, Baptiste Jacquet, Hiroshi Yama - Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness
Jean Baratgin, Emmanuel Brochier, Emmanuel Brochier et al, Baptiste Jacquet, Hiroshi Yama Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness English 30.04.2025 Paperback / Softback Fr. 103.00 6-7 weeks
C Aiswarya, C. Aiswarya, Prabal Kumar Sen, Shashi Mohan Srivastava, Prabal Kumar Sen, Shashi Mohan Srivastava - Logic and Its Applications
C Aiswarya, C. Aiswarya, Prabal Kumar Sen, Shashi Mohan Srivastava, Prabal Kumar Sen, Shashi Mohan Srivastava Logic and Its Applications English 26.06.2025 Paperback / Softback Fr. 82.00 6-7 weeks
Shankaranarayanan Krishna, Krishna S., Sriram Sankaranarayanan, Krishna Shankaranarayanan, Ashutosh Trivedi - Verification, Model Checking, and Abstract Interpretation
Shankaranarayanan Krishna, Krishna S., Sriram Sankaranarayanan, Krishna Shankaranarayanan, Ashutosh Trivedi Verification, Model Checking, and Abstract Interpretation English 27.03.2025 Paperback / Softback Fr. 82.00 6-7 weeks
Shankaranarayanan Krishna, Krishna S., Sriram Sankaranarayanan, Krishna Shankaranarayanan, Ashutosh Trivedi - Verification, Model Checking, and Abstract Interpretation
Shankaranarayanan Krishna, Krishna S., Sriram Sankaranarayanan, Krishna Shankaranarayanan, Ashutosh Trivedi Verification, Model Checking, and Abstract Interpretation English 27.03.2025 Paperback / Softback Fr. 82.00 6-7 weeks
Mingming Liu, Dag Westerståhl, Dag Westerståhl et al, Jialiang Yan, Xiaolu Yang - The Connectives in Logic and Language
Mingming Liu, Dag Westerståhl, Dag Westerståhl et al, Jialiang Yan, Xiaolu Yang The Connectives in Logic and Language English 16.05.2025 Paperback / Softback Fr. 70.00 6-7 weeks
Eduardo Fermé, Marco Garapa, Maurício D L Reis, Maurício D. L. Reis - Non-prioritized Belief Change
Eduardo Fermé, Marco Garapa, Maurício D L Reis, Maurício D. L. Reis Non-prioritized Belief Change English 21.08.2025 Hardback Fr. 199.00 6-7 weeks
Robert Merca¿, Rober Mercas, Robert Mercas, Robert Mercaş, Reidenbach, Reidenbach... - Combinatorics on Words
Robert Merca¿, Rober Mercas, Robert Mercas, Robert Mercaş, Reidenbach, Reidenbach... Combinatorics on Words English 31.10.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Ishikawa, Fuyuki Ishikawa, Michael Leuschel - Rigorous State-Based Methods
Ishikawa, Fuyuki Ishikawa, Michael Leuschel Rigorous State-Based Methods English 02.07.2025 Paperback / Softback Fr. 169.00 6-7 weeks
Jonathan Protzenko, Raad, Azalea Raad - Verified Software. Theories, Tools and Experiments
Jonathan Protzenko, Raad, Azalea Raad Verified Software. Theories, Tools and Experiments English 17.04.2025 Paperback / Softback Fr. 70.00 6-7 weeks
Theo Araujo, Theo Araujo et al, Petter Bae Brandtzaeg, Asbjørn Følstad, Sebastian Hobert, Effie L.-C. Law... - Chatbots and Human-Centered AI
Theo Araujo, Theo Araujo et al, Petter Bae Brandtzaeg, Asbjørn Følstad, Sebastian Hobert, Effie L.-C. Law... Chatbots and Human-Centered AI English 27.04.2025 Paperback / Softback Fr. 147.00 6-7 weeks
Sidney C Nogueira, Sidney C. Nogueira, Teodorov, Ciprian Teodorov - Formal Methods: Foundations and Applications
Sidney C Nogueira, Sidney C. Nogueira, Teodorov, Ciprian Teodorov Formal Methods: Foundations and Applications English 26.12.2024 Paperback / Softback Fr. 82.00 6-7 weeks