The book is currently out of stock
Logic for programming and automated reasoning
Authors
Parameters
Book purchase
Logic for programming and automated reasoning, Michel Parigot
- Language
- Released
- 2000
We’ll notify you via email once we track it down.
Payment methods
- Title
- Logic for programming and automated reasoning
- Language
- English
- Authors
- Michel Parigot
- Publisher
- Springer
- Released
- 2000
- ISBN10
- 3540412859
- ISBN13
- 9783540412854
- Series
- Lecture notes in computer science
- Category
- Computers, IT, Programming