Showing 1 - 5 of 5 Results
1.
Proof Theory and Automated Deduction by Goubault-Larrecq, Jean, Mac... ISBN: 9781402003684 List Price: $109.00
2.
Proof Theory and Automated Deduction by Goubault-Larrecq, Jean, Mac... ISBN: 9780792345930 List Price: $240.00
3.
Foundations of Software Science and Computation Structures : 23rd International Conference, ... by Goubault-Larrecq, Jean, K�n... ISBN: 9783030452308 List Price: $49.99
4.
Foundations of Software Science and Computation Structures by Goubault-larrecq, Jean, K?n... ISBN: 9781013277313
5.
Foundations of Software Science and Computation Structures by Goubault-larrecq, Jean, K?n... ISBN: 9781013277306