Logical Foundations of Computer Science International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings Artemov Sergei Heftet / 2021 / Engelsk
Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings Artemov Sergei Heftet / 2015 / Engelsk
Logical Foundations of Computer Science 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings Adian Sergei Heftet / 1997 / Engelsk
Logical Foundations of Computer Science - Tver '92 Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings Nerode Anil Heftet / 1992 / Engelsk
Logical Foundations of Computer Science Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings Nerode Anil Heftet / 1994 / Engelsk
Logic Programming and Nonmonotonic Reasoning Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings Furbach Ulrich Heftet / 1997 / Engelsk
Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings Artemov Sergei Heftet / 2008 / Engelsk
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings Artemov Sergei Heftet / 2012 / Engelsk
Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings Artemov Sergei Heftet / 2007 / Engelsk
Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings Artemov Sergei Heftet / 2017 / Engelsk
Logical Foundations of Computer Science International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings Artemov Sergei Heftet / 2019 / Engelsk
Logic Programming and Nonmonotonic Reasoning Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings Marek, V. Wiktor Heftet / 1995 / Engelsk
Algebraic Curves and Riemann Surfaces for Undergraduates The Theory of the Donut Nerode Anil Heftet / 2023 / Engelsk