Sök

Del 1

Del 1 - Applied Logic Series

Fallacies Arising from Ambiguity

AvDouglas Walton

Inbunden, Engelska, 1996

2 699 kr

Skickas inom 10-15 vardagar

Del 2

Del 2 - Applied Logic Series

Proof Theory of Modal Logic

AvHeinrich Wansing

Inbunden, Engelska, 1996

2 029 kr

Skickas inom 10-15 vardagar

Multi-Dimensional Modal Logic

AvMaarten Marx,Yde Venema

Inbunden, Engelska, 1996

1 369 kr

Skickas inom 10-15 vardagar

Logic, Language and Computation

AvS. Akama,Seiki Akama

Inbunden, Engelska, 1997

1 369 kr

Skickas inom 10-15 vardagar

Del 7

Del 7 - Applied Logic Series

Advances in Intensional Logic

AvMaarten de Rijke,Maarten De Rijke

Inbunden, Engelska, 1997

2 029 kr

Skickas inom 10-15 vardagar

Del 8

Del 8 - Applied Logic Series

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

AvWolfgang Bibel,P.H. Schmitt m. fl.

Inbunden, Engelska, 1998

2 699 kr

Skickas inom 10-15 vardagar

Del 9

Del 9 - Applied Logic Series

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

AvWolfgang Bibel,P.H. Schmitt m. fl.

Inbunden, Engelska, 1998

2 699 kr

Skickas inom 10-15 vardagar

Del 10

Del 10 - Applied Logic Series

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

AvWolfgang Bibel,P.H. Schmitt m. fl.

Inbunden, Engelska, 1998

2 029 kr

Skickas inom 10-15 vardagar

Textbook of Belief Dynamics

Theory Change and Database Updating

AvSven Ove Hansson

Inbunden, Engelska, 1999

2 029 kr

Skickas inom 10-15 vardagar

Textbook of Belief Dynamics

Solutions to exercises

AvSven Ove Hansson

Häftad, Engelska, 1999

2 029 kr

Skickas inom 10-15 vardagar

Del 12

Del 12 - Applied Logic Series

Dynamic Worlds

From the Frame Problem to Knowledge Management

AvRemo Pareschi,Bertram Fronhöfer

Inbunden, Engelska, 1999

1 369 kr

Skickas inom 10-15 vardagar

Del 13

Del 13 - Applied Logic Series

What is Negation?

AvDov M. Gabbay,Heinrich Wansing

Inbunden, Engelska, 1999

2 699 kr

Skickas inom 10-15 vardagar

Foundations of Rational Agency

AvMichael Wooldridge,A. Rao m. fl.

Inbunden, Engelska, 1999

2 029 kr

Skickas inom 10-15 vardagar

Del 15

Del 15 - Applied Logic Series

Fuzzy Sets, Logics and Reasoning about Knowledge

AvDidier Dubois,Henri Prade m. fl.

Inbunden, Engelska, 1999

2 029 kr

Skickas inom 10-15 vardagar

Del 16

Del 16 - Applied Logic Series

Advances in Temporal Logic

AvHoward Barringer,Michael Fisher m. fl.

Inbunden, Engelska, 1999

2 029 kr

Skickas inom 10-15 vardagar

Labelled Deduction

AvMarcello D'Agostino,Dov M. Gabbay m. fl.

Inbunden, Engelska, 2000

1 369 kr

Skickas inom 10-15 vardagar

Del 18

Del 18 - Applied Logic Series

Abduction and Induction

Essays on their Relation and Integration

AvP.A. Flach,Antonis Hadjiantonis m. fl.

Inbunden, Engelska, 2000

2 029 kr

Skickas inom 10-15 vardagar

Del 19

Del 19 - Applied Logic Series

Intellectics and Computational Logic

Papers in Honor of Wolfgang Bibel

AvSteffen Hölldobler

Inbunden, Engelska, 2000

2 029 kr

Skickas inom 10-15 vardagar

Del 20

Del 20 - Applied Logic Series

Formal Aspects of Context

AvPierre Bonzon,Marcos Cavalcanti m. fl.

Inbunden, Engelska, 2000

1 389 kr

Skickas inom 10-15 vardagar

Goal-Directed Proof Theory

AvDov M. Gabbay,N. Olivetti m. fl.

Inbunden, Engelska, 2000

1 389 kr

Skickas inom 10-15 vardagar

Frontiers in Belief Revision

AvM. Williams,Hans Rott

Inbunden, Engelska, 2001

2 029 kr

Skickas inom 10-15 vardagar

Del 23

Del 23 - Applied Logic Series

New Essays in Free Logic

In Honour of Karel Lambert

AvE. Morscher,A. Hieke m. fl.

Inbunden, Engelska, 2001

1 369 kr

Skickas inom 10-15 vardagar

Foundations of Bayesianism

AvD. Corfield,J. Williamson m. fl.

Inbunden, Engelska, 2001

2 029 kr

Skickas inom 10-15 vardagar

Del 6

Del 6 - Applied Logic Series

Proof Theory and Automated Deduction

AvJean Goubault-Larrecq,I. Mackie m. fl.

Häftad, Engelska, 2001

689 kr

Skickas inom 10-15 vardagar

Logical and Computational Aspects of Model-Based Reasoning

AvL. Magnani,N.J. Nersessian m. fl.

Inbunden, Engelska, 2002

1 369 kr

Skickas inom 10-15 vardagar

Del 26

Del 26 - Applied Logic Series

Semantics and Proof Theory of the Logic of Bunched Implications

AvDavid J. Pym

Inbunden, Engelska, 2002

2 029 kr

Skickas inom 10-15 vardagar

Del 27

Del 27 - Applied Logic Series

Introduction to Mathematical Logic and Type Theory

To Truth Through Proof

AvPeter B. Andrews

Inbunden, Engelska, 2002

1 779 kr

Skickas inom 10-15 vardagar

Del 25

Del 25 - Applied Logic Series

Logical and Computational Aspects of Model-Based Reasoning

AvL. Magnani,N.J. Nersessian m. fl.

Häftad, Engelska, 2002

1 369 kr

Skickas inom 10-15 vardagar

Del 28

Del 28 - Applied Logic Series

Thirty Five Years of Automating Mathematics

AvF.D. Kamareddine,F. D. Kamareddine

Inbunden, Engelska, 2003

1 369 kr

Skickas inom 10-15 vardagar

Del 29

Del 29 - Applied Logic Series

Modern Perspective on Type Theory

From its Origins until Today

AvF.D. Kamareddine,T. Laan m. fl.

Inbunden, Engelska, 2004

2 429 kr

Skickas inom 10-15 vardagar

Applied Logic Series

Fallacies Arising from Ambiguity

Proof Theory of Modal Logic

Multi-Dimensional Modal Logic

Logic, Language and Computation

Advances in Intensional Logic

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

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

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

Textbook of Belief Dynamics

Textbook of Belief Dynamics

Dynamic Worlds

What is Negation?

Foundations of Rational Agency

Fuzzy Sets, Logics and Reasoning about Knowledge

Advances in Temporal Logic

Labelled Deduction

Abduction and Induction

Intellectics and Computational Logic

Formal Aspects of Context

Goal-Directed Proof Theory

Frontiers in Belief Revision

New Essays in Free Logic

Foundations of Bayesianism

Proof Theory and Automated Deduction

Logical and Computational Aspects of Model-Based Reasoning

Semantics and Proof Theory of the Logic of Bunched Implications

Introduction to Mathematical Logic and Type Theory

Logical and Computational Aspects of Model-Based Reasoning

Thirty Five Years of Automating Mathematics

Modern Perspective on Type Theory

Loading component...

Loading component...

Applied Logic Series

Fallacies Arising from Ambiguity

Proof Theory of Modal Logic

Multi-Dimensional Modal Logic

Logic, Language and Computation

Advances in Intensional Logic

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

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

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

Textbook of Belief Dynamics

Textbook of Belief Dynamics

Dynamic Worlds

What is Negation?

Foundations of Rational Agency

Fuzzy Sets, Logics and Reasoning about Knowledge

Advances in Temporal Logic

Labelled Deduction

Abduction and Induction

Intellectics and Computational Logic

Formal Aspects of Context

Goal-Directed Proof Theory

Frontiers in Belief Revision

New Essays in Free Logic

Foundations of Bayesianism

Proof Theory and Automated Deduction

Logical and Computational Aspects of Model-Based Reasoning

Semantics and Proof Theory of the Logic of Bunched Implications

Introduction to Mathematical Logic and Type Theory

Logical and Computational Aspects of Model-Based Reasoning

Thirty Five Years of Automating Mathematics

Modern Perspective on Type Theory

Akademibokhandeln

Hjälp

Tjänster

Erbjudanden

Inspiration