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
Barnes and Noble

Advances in Temporal Logic / Edition 1

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

Conditionals and Modularity in General Logics / Edition 1

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

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

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

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

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

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

From Barnes and Noble
Applications of Logic Databases / Edition 1
Barnes and Noble

Applications of Logic Databases / Edition 1

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

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

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

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

From 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
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

From Barnes and Noble
Non-Monotonic Extensions of Logic Programming: ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers / 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

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

Transactions on Petri Nets and Other Models of Concurrency XV

From 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
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

From 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
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

From Barnes and Noble
Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings / 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

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

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

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

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

From Barnes and Noble
Powered by Adeptmind