8 results
In Memoriam: Professor Marc R. de Leval (April 16, 1941–June 26, 2022) – an exceptional, inspirational, and most modest man
-
- Journal:
- Cardiology in the Young / Volume 32 / Issue 9 / September 2022
- Published online by Cambridge University Press:
- 02 September 2022, pp. 1363-1364
-
- Article
- Export citation
Answer Set Programming, by Vladimir Lifschitz, Springer Nature Switzerland AG, ISBN 978-3-030-24657-0
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 3 / May 2020
- Published online by Cambridge University Press:
- 17 March 2020, pp. 432-434
-
- Article
- Export citation
Physical, fluid dynamic and mechanical properties of alumina gel-cast foams manufactured using agarose or ovalbumin as gelling agents
-
- Journal:
- Journal of Materials Research / Volume 32 / Issue 14 / 28 July 2017
- Published online by Cambridge University Press:
- 13 July 2017, pp. 2810-2818
- Print publication:
- 28 July 2017
-
- Article
- Export citation
All about Proofs, Proofs for All, Bruno Woltzenlogel Paleo and David Delahaye , Eds., College Publications, Series Mathematical Logic and Foundations, vol. 55., 2015. Paperback, ISBN 978-1-84890-166-7, vii + 240 pages.
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 2 / March 2016
- Published online by Cambridge University Press:
- 10 August 2015, pp. 236-241
-
- Article
- Export citation
Logic in Poland after 1945 (until 1975)
-
- Journal:
- European Review / Volume 23 / Issue 1 / February 2015
- Published online by Cambridge University Press:
- 29 January 2015, pp. 159-171
-
- Article
- Export citation
Logic programs with monotone abstract constraint atoms*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 8 / Issue 2 / March 2008
- Published online by Cambridge University Press:
- 01 March 2008, pp. 167-199
-
- Article
- Export citation
Explanatory Nonmonotonic Reasoning by Alexander Bochman World Scientific, Hardback: ISBN 981-256-101-3, Price: $68.00, xiv + 408 pages
-
- Journal:
- Theory and Practice of Logic Programming / Volume 7 / Issue 4 / July 2007
- Published online by Cambridge University Press:
- 01 July 2007, pp. 499-503
-
- Article
- Export citation
On the expressibility of stable logic programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 3 / Issue 4-5 / July 2003
- Published online by Cambridge University Press:
- 31 July 2003, pp. 551-567
-
- Article
- Export citation