MPG.eBooks - Search Results - "Applied Logic Series"

1

Hybrid Logic and its Proof-Theory

by Braüner, Torben
Published 2011

Springer Netherlands

“...Applied Logic Series...”

Read Now

2

Frontiers of Combining Systems : First International Workshop, Munich, March 1996

Published 1996

Springer Netherlands

“...Applied Logic Series...”

Read Now

3

Fuzzy Sets, Logics and Reasoning about Knowledge

Published 1999

Springer Netherlands

“...Applied Logic Series...”

Read Now

4

Goal-Directed Proof Theory

by Gabbay, Dov M., Olivetti, N.
Published 2000

Springer Netherlands

“...Applied Logic Series...”

Read Now

5

A Textbook of Belief Dynamics : Solutions to exercises

by Hansson, Sven Ove
Published 1999

Springer Netherlands

“...Applied Logic Series...”

Read Now

6

Rigid Flexibility : The Logic of Intelligence

by Wang, Pei
Published 2006

Springer Netherlands

“...Applied Logic Series...”

Read Now

7

Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems

by Carnielli, Walter, Coniglio, Marcelo, Gabbay, Dov M., Gouveia, Paula
Published 2008

Springer Netherlands

“...Applied Logic Series...”

Read Now

8

A Modern Perspective on Type Theory : From its Origins until Today

by Kamareddine, F.D., Laan, T., Nederpelt, Rob
Published 2005

Springer Netherlands

“...Applied Logic Series...”

Read Now

9

Automated Model Building

by Caferra, Ricardo, Leitsch, Alexander, Peltier, Nicolas
Published 2004

Springer Netherlands

“...Applied Logic Series...”

Read Now

10

The Death of Argument : Fallacies in Agent Based Reasoning

by Woods, J.H.
Published 2004

Springer Netherlands

“...Applied Logic Series...”

Read Now

11

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

“...Applied Logic Series...”

Read Now

12

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

“...Applied Logic Series...”

Read Now

13

Logical and Computational Aspects of Model-Based Reasoning

Published 2002

Springer Netherlands

“...Applied Logic Series...”

Read Now

14

Labelled Deduction

Published 2000

Springer Netherlands

“...Applied Logic Series...”

Read Now

15

Reasoning Robots : The Art and Science of Programming Robotic Agents

by Thielscher, Michael
Published 2005

Springer Netherlands

“...Applied Logic Series...”

Read Now

16

Proof Theory for Fuzzy Logics

by Metcalfe, George, Olivetti, Nicola, Gabbay, Dov M.
Published 2009

Springer Netherlands

“...Applied Logic Series...”

Read Now

17

Inference on the Low Level : An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition

by Leitgeb, Hannes
Published 2004

Springer Netherlands

“...Applied Logic Series...”

Read Now

18

Thirty Five Years of Automating Mathematics

Published 2003

Springer Netherlands

“...Applied Logic Series...”

Read Now

19

Abduction and Induction : Essays on their Relation and Integration

Published 2000

Springer Netherlands

“...Applied Logic Series...”

Read Now

20

Formal Aspects of Context

Published 2000

Springer Netherlands

“...Applied Logic Series...”

Narrow Search