Author books / Книги автора Anil Nerode Richard A. Shore » Page 2 » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Anil Nerode Richard A. Shore » Page 2

book Logic for Applications

Logic for Applications

pdf

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

00

27.01.2024

0

0

book Logic Colloquium: Symposium on Logic Held at Boston, 1972–73

Logic Colloquium: Symposium on Logic Held at Boston, 1972–73

pdf

Author: J. N. Crossley Anil Nerode (auth.) Prof. Dr. Rohit Parikh (eds.)
Language: English
Year: 1975

00

27.01.2024

0

0

book Combinatorial Functors

Combinatorial Functors

pdf

Author: J. N. Crossley Anil Nerode (auth.)
Language: English
Year: 1974

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 Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings

Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings

pdf

Author: Thomas Eiter Georg Gottlob Nicola Leone (auth.) V. Wiktor Marek Anil Nerode M. Truszczyński (eds.)
Language: English
Year: 1995

00

27.01.2024

1

0

book Logic for Applications

Logic for Applications

pdf

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

00

27.01.2024

0

0

book Logical Foundations of Computer Science — Tver '92: Second International Symposium Tver, Russia, July 20–24, 1992 Proceedings

Logical Foundations of Computer Science — Tver '92: Second International Symposium Tver, Russia, July 20–24, 1992 Proceedings

pdf

Author: Dimitry A. Archangelsky Mikhail A. Taitslin (auth.) Anil Nerode Mikhail Taitslin (eds.)
Language: English
Year: 1992

00

27.01.2024

0

0

book Automata Theory and its Applications

Automata Theory and its Applications

pdf

Author: Bakhadyr Khoussainov Anil Nerode (auth.)
Language: English
Year: 2001

00

27.01.2024

1

0

book Logic Programming And Nonmonotonic Reasoning: 4th International Conference, LPNMR '97 Dagstuhl Castle, Germany, July 28–31, 1997 Proceedings

Logic Programming And Nonmonotonic Reasoning: 4th International Conference, LPNMR '97 Dagstuhl Castle, Germany, July 28–31, 1997 Proceedings

pdf

Author: Joxan Jaffar Bing Liu Roland H. C. Yap (auth.) Jürgen Dix Ulrich Furbach Anil Nerode (eds.)
Language: English
Year: 1997

00

27.01.2024

1

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