CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 10 of 10 Results
1.
Computer Science Logic: 7th International Workshop, CSL '93, Swansea, United Kingdom, Septem...
Computer Science Logic: 7th International Workshop, CSL '93, Swansea, United Kingdom, Septem... by Börger, Egon, Gurevich, Yur... ISBN: 9780387582771 List Price: $69.95

OUT OF STOCK

See Availability on Amazon
2.
Higher-Order Algebra, Logic, and Term Rewriting Second International Workshop, Hoa '95, Pade...
Higher-Order Algebra, Logic, and Term Rewriting Second International Workshop, Hoa '95, Pade... by Moller, Bernard, Meinke, Karl ISBN: 9783540612544 List Price: $69.95
$42.85 (Save 38%)
3.
Machine Learning for Dynamic Software Analysis: Potentials and Limits : International Dagstu...
Machine Learning for Dynamic Software Analysis: Potentials and Limits : International Dagstu... by Bennaceur, Amel, H�hnle, Re... ISBN: 9783319965611 List Price: $59.99
$60.37
4.
Many-Sorted Logic and Its Applications
Many-Sorted Logic and Its Applications by Meinke, Karl ISBN: 9780608052632 List Price: $128.70

OUT OF STOCK

See Availability on Amazon
5.
Higher-Order Algebra, Logic, and Term Rewriting
Higher-Order Algebra, Logic, and Term Rewriting by Heering, Jan, Meinke, Karl,... ISBN: 9783662189054 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
6.
Computer Science Logic
Computer Science Logic by Borger, Egon, Gurevich, Yur... ISBN: 9783662166383 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
7.
Higher-Order Algebra, Logic, and Term Rewriting
Higher-Order Algebra, Logic, and Term Rewriting by Dowek, Gilles, Heering, Jan... ISBN: 9783662201862 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
8.
Principles of Declarative Programming
Principles of Declarative Programming by Palamidessi, Catuscia, Glas... ISBN: 9783662203316 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
9.
Algebraic and Logic Programming
Algebraic and Logic Programming by Hanus, Michael, Heering, Ja... ISBN: 9783662184646 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
10.
Tests and Proofs : 16th International Conference, TAP 2022, Held As Part of STAF 2021, Nante...
Tests and Proofs : 16th International Conference, TAP 2022, Held As Part of STAF 2021, Nante... by Kov�cs, Laura, Meinke, Karl ISBN: 9783031098260
$52.33