Visar resultat för...
Applied Logic Series
Inbunden, Engelska, 1996
2 789 kr
Inbunden, Engelska, 1996
2 099 kr
Inbunden, Engelska, 1996
1 409 kr
Inbunden, Engelska, 1997
1 409 kr
Inbunden, Engelska, 1997
1 789 kr
Inbunden, Engelska, 1997
2 099 kr
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Inbunden, Engelska, 1998
2 789 kr
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Inbunden, Engelska, 1998
2 789 kr
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Inbunden, Engelska, 1998
2 099 kr
Inbunden, Engelska, 1999
2 099 kr
Häftad, Engelska, 1999
2 099 kr
Inbunden, Engelska, 1999
1 409 kr
Inbunden, Engelska, 1999
2 789 kr
Foundations of Rational Agency
Inbunden, Engelska, 1999
2 099 kr
Fuzzy Sets, Logics and Reasoning about Knowledge
Av Didier Dubois, Henri Prade, Erich Peter Klement, Didier DuBois
Inbunden, Engelska, 1999
2 099 kr
Advances in Temporal Logic
Av Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough
Inbunden, Engelska, 1999
2 099 kr
Labelled Deduction
Av Marcello D'Agostino, Dov M. Gabbay, David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò
Inbunden, Engelska, 2000
1 409 kr
Abduction and Induction
Av P.A. Flach, Antonis Hadjiantonis, P. a. Flach, Antonis M. Hadjiantonis, P. A. Flach
Inbunden, Engelska, 2000
2 099 kr
Inbunden, Engelska, 2000
2 099 kr
Formal Aspects of Context
Inbunden, Engelska, 2000
1 409 kr
Inbunden, Engelska, 2000
1 409 kr
Inbunden, Engelska, 2001
2 099 kr
New Essays in Free Logic
Inbunden, Engelska, 2001
1 409 kr
Foundations of Bayesianism
Inbunden, Engelska, 2001
2 099 kr
Proof Theory and Automated Deduction
Häftad, Engelska, 2001
709 kr
Logical and Computational Aspects of Model-Based Reasoning
Av L. Magnani, N.J. Nersessian, Claudio Pizzi, N. J. Nersessian, Nancy Nersessian
Inbunden, Engelska, 2002
1 409 kr
Semantics and Proof Theory of the Logic of Bunched Implications
Av David J. Pym
Inbunden, Engelska, 2002
2 099 kr
Inbunden, Engelska, 2002
1 819 kr
Logical and Computational Aspects of Model-Based Reasoning
Av L. Magnani, N.J. Nersessian, Claudio Pizzi, N. J. Nersessian, Nancy Nersessian
Häftad, Engelska, 2002
1 409 kr
Thirty Five Years of Automating Mathematics
Inbunden, Engelska, 2003
1 409 kr