The following text field will produce suggestions that follow it as you type.

Home

Barnes and Noble

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988 / Edition 1

Unfortunately, this item is no longer available, but we found some similar items you might like.

You May Also Like

Advances in Temporal Logic / Edition 1

Advances in Temporal Logic / Edition 1

Barnes and Noble
Conditionals and Modularity in General Logics / Edition 1

Conditionals and Modularity in General Logics / Edition 1

Barnes and Noble
Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems / Edition 1

Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems / Edition 1

Barnes and Noble
Quantifiers: Logics, Models and Computation: Volume One: Surveys / Edition 1

Quantifiers: Logics, Models and Computation: Volume One: Surveys / Edition 1

Barnes and Noble
The Logic of Theory Change: Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings / Edition 1

The Logic of Theory Change: Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings / Edition 1

Barnes and Noble
Applications of Logic Databases / Edition 1

Applications of Logic Databases / Edition 1

Barnes and Noble
Parallel and Constraint Logic Programming: An Introduction to Logic, Parallelism and Constraints

Parallel and Constraint Logic Programming: An Introduction to Logic, Parallelism and Constraints

Barnes and Noble
Logic at Botik '89: Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings / Edition 1

Logic at Botik '89: Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings / Edition 1

Barnes and Noble
Third International Conference on Logic Programming: Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings / Edition 1

Third International Conference on Logic Programming: Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings / Edition 1

Barnes and Noble
Non-Monotonic Extensions of Logic Programming: ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers / Edition 1

Non-Monotonic Extensions of Logic Programming: ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers / Edition 1

Barnes and Noble
Transactions on Petri Nets and Other Models of Concurrency XV

Transactions on Petri Nets and Other Models of Concurrency XV

Barnes and Noble
Proceedings of the Summer School in Logik, Leeds, 1967: N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic / Edition 1

Proceedings of the Summer School in Logik, Leeds, 1967: N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic / Edition 1

Barnes and Noble
Logic Programming and Knowledge Representation: Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers / Edition 1

Logic Programming and Knowledge Representation: Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers / Edition 1

Barnes and Noble
Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings / Edition 1

Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings / Edition 1

Barnes and Noble
Logics in AI: European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings / Edition 1

Logics in AI: European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings / Edition 1

Barnes and Noble
Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings / Edition 1

Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings / Edition 1

Barnes and Noble
Powered by Adeptmind