Kategorie główne

[2678374]

[1638312]

Kategorie szczegółowe BISAC

Nerode, Anil

Anil Nerode is Professor and Director of the Mathematical Sciences Institute at Cornell University.

[ ZOBACZ WSZYSTKIE KSIĄŻKI AUTORA ]

Logic for Applications	Automata Theory and its Applications	Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings
Hybrid Systems	Logical Foundations of Computer Science: Third International Symposium, Lfcs '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings	Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings
Hybrid Systems II	Hybrid Systems IV	Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Logic for Applications	Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut

Czytaj nas na:

Zobacz:

1997-2024 DolnySlask.com Agencja Internetowa