The Mega Online Bookstore
Welcome Guest | Login | Home | Contact Us

Gentzen Calculi for Modal Propositional Logic

Model Theory for Modal Logic Kripke Models for Modal Predicate Calculi,9027709297,9789027709295
39 %

Model Theory for Modal Lo ...

K.A. Bowen

List Price: $ 159.99

Our Price: $ 96.92

Evaluation of Multilingual and Multi-Modal Information Retrieval 7th Workshop of the Cross-Language Evaluation Forum, Clef 2006, Alicante, Spain, Sep,3540749985,9783540749981
50 %

Evaluation of Multilingua ...

Paul Clough, Fr ...

List Price: $ 209.00

Our Price: $ 105.51

Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings,3642022723,9783642022722
53 %

Typed Lambda Calculi and ...

Pierre-Louis Cu ...

List Price: $ 119.00

Our Price: $ 56.36

Face Biometrics for Personal Identification Multi-Sensory Multi-Modal Systems 1st Edition,3540493441,9783540493440
81 %

Face Biometrics for Perso ...

Riad I. Hammoud ...

List Price: $ 159.99

Our Price: $ 30.99

Completeness Theory for Propositional Logics,3764385170,9783764385170
47 %

Completeness Theory for P ...

Witold A. Pogor ...

List Price: $ 99.99

Our Price: $ 53.38

Reforging the Great Chain of Being Studies of the History of Modal Theories,9027711259,9789027711250

Reforging the Great Chain ...

Simo Knuuttila

Our Price: $ 439.86

Dynamics and Control of Structures A Modal Approach,0387985271,9780387985275
67 %

Dynamics and Control of S ...

Wodek Gawronski ...

List Price: $ 109.99

Our Price: $ 36.37

Typed Lambda Calculi and Applications 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings,3540403329,9783540403326
12 %

Typed Lambda Calculi and ...

Martin Hofmann

List Price: $ 99.00

Our Price: $ 86.75

Concurrency Theory Calculi an Automata for Modelling Untimed and Timed Concurrent Systems,1852338954,9781852338954
79 %

Concurrency Theory Calcul ...

Howard Bowman, ...

List Price: $ 199.99

Our Price: $ 42.86

Typed Lambda Calculi and Applications Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings,354059048X,9783540590484
57 %

Typed Lambda Calculi and ...

Mariangiola Dez ...

List Price: $ 129.00

Our Price: $ 55.53

Displaying Modal Logic,079235205X,9780792352051
17 %

Displaying Modal Logic

Heinrich Wansin ...

List Price: $ 159.99

Our Price: $ 133.54