Author books / Книги автора Sergei Artemov Anil Nerode (eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Sergei Artemov Anil Nerode (eds.)

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 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 Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

pdf

Author: Luca Aceto Anna Ingólfsdóttir (auth.) Sergei Artemov Anil Nerode (eds.)
Language: English
Year: 2013

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

26.01.2024

0

0