MPG.eBooks - Search Results

1

Automated Mathematical Induction

Published 1996

Springer Netherlands

Subjects: “...Mathematical logic...”

Read Now

2

Trustworthy Hardware Design: Combinational Logic Locking Techniques

by Yasin, Muhammad, Rajendran, Jeyavijayan (JV), Sinanoglu, Ozgur
Published 2020

Springer International Publishing

Subjects: “...Computer arithmetic and logic units...”

Read Now

3

Trust Networks for Recommender Systems

by Victor, Patricia, Cornelis, Chris, De Cock, Martine
Published 2011

Atlantis Press

Subjects: “...Logic design...”

Read Now

4

Technology Assessment of Dual-Use ICTs : How to Assess Diffusion, Governance and Design

by Riebe, Thea
Published 2023

Springer Fachmedien Wiesbaden

Subjects: “...Logic in AI....”

Read Now

5

Towards Paraconsistent Engineering

Published 2016

Springer International Publishing

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

6

Handbook of practical logic and automated reasoning

by Harrison, J.
Published 2009

Cambridge University Press

Subjects: “...Computer logic...”

Read Now

7

Managing Uncertainty in Expert Systems

by Grzymala-Busse, Jerzy W.
Published 1991

Springer US

Subjects: “...Mathematical logic...”

Read Now

8

The Logic of Information Structures

by Wansing, Heinrich
Published 1993

Springer Berlin Heidelberg

Subjects: “...Mathematical logic...”

Read Now

9

Practical Applications of Computational Intelligence Techniques

Published 2001

Springer Netherlands

Subjects: “...Mathematical logic...”

Read Now

10

On Fuzziness : A Homage to Lotfi A. Zadeh – Volume 2

Published 2013

Springer Berlin Heidelberg

Subjects: “...Mathematical logic...”

Read Now

11

Compact Models and Measurement Techniques for High-Speed Interconnects

by Sharma, Rohit, Chakravarty, Tapas
Published 2012

Springer New York

Subjects: “...Logic design...”

Read Now

12

Nonmonotonic and Inductive Logic : 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings

Published 1991

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

13

Subjective Logic : A Formalism for Reasoning Under Uncertainty

by Jøsang, Audun
Published 2016

Springer International Publishing

Subjects: “...Logic...”

Read Now

14

On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic

by Trillas, Enric
Published 2017

Springer International Publishing

Subjects: “...Mathematical logic...”

Read Now

15

Dynamics in Logic and Language : Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1–4, 2022, Revised Selected Papers

Published 2023

Springer International Publishing

Subjects: “...Mathematical logic...”

Read Now

16

Automata Implementation : Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers

Published 1999

Springer Berlin Heidelberg

Subjects: “...Mathematical logic...”

Read Now

17

Design, Analysis and Test of Logic Circuits Under Uncertainty

by Krishnaswamy, Smita, Markov, Igor L., Hayes, John P.
Published 2013

Springer Netherlands

Subjects: “...Computer arithmetic and logic units...”

Read Now

18

Belief Revision in Non-Classical Logics

by Ribeiro, Márcio Moretto
Published 2013

Springer London

Subjects: “...Mathematical logic...”

Read Now

19

Analogical and Inductive Inference : International Workshop AII '89 Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings

Published 1989

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

20

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Published 1998

Springer Netherlands

Subjects: “...Mathematical logic...”

Narrow Search