Author books / Книги автора Anil Nerode,Noam Greenberg » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Anil Nerode,Noam Greenberg

book Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut

Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut

epub

Author: Anil Nerode, Noam Greenberg
Language: English
Year: 2023

00

01.03.2024

0

0

book Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut

Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut

pdf

Author: Anil Nerode Noam Greenberg
Language: English
Year: 2023

00

15.02.2024

0

0

book Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings

pdf

Author: Sergei Artemov (editor) Anil Nerode (editor)
Language: English
Year: 2021

00

13.02.2024

0

0

book 应用逻辑

pdf

Author: Anil Nerode Richard A.Shore
Language: Chinese
Year: 2007

00

06.02.2024

0

0

book Logical Foundations of Computer Science: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings

pdf

Author: Sergei Artemov Anil Nerode
Language: English
Year: 2020

00

05.02.2024

0

0

book Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

pdf

Author: Sergei Artemov Anil Nerode (eds.)
Language: English
Year: 2016

00

27.01.2024

0

0

book Logic programming and non-monotonic reasoning : proceedings of the second international workshop

Logic programming and non-monotonic reasoning : proceedings of the second international workshop

djvu

Author: Luís Moniz Pereira, Anil Nerode
Language: English
Year: 1993

00

27.01.2024

0

0

book Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

pdf

Author: Stefano Aguzzoli Simone Bova Vincenzo Marra (auth.) Sergei Artemov Anil Nerode (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Logic for Applications

Logic for Applications

djvu

Author: Anil Nerode Richard A. Shore
Language: English
Year: 1997

00

27.01.2024

0

0

book Logic for Applications

Logic for Applications

pdf

Author: Anil Nerode Richard A. Shore
Language: English
Year: 1997

00

27.01.2024

0

0