Author books / Книги автора Luis Moniz Pereira Anil Nerode » Page 3 » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Luis Moniz Pereira Anil Nerode » Page 3

book Logic Programming and Non-Monotonic Reasoning: Proceedings of the Second International Workshop 1993

Logic Programming and Non-Monotonic Reasoning: Proceedings of the Second International Workshop 1993

pdf

Author: Luis Moniz Pereira Anil Nerode
Language: English
Year: 1993

00

27.01.2024

0

0

book Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

pdf

Author: Evangelia Antonakos (auth.) Sergei N. Artemov Anil Nerode (eds.)
Language: English
Year: 2007

00

27.01.2024

0

0

book Hybrid Systems IV

Hybrid Systems IV

pdf

Author: Alan B. Arehart William A. Wolovich (auth.) Panos Antsaklis Wolf Kohn Anil Nerode Shankar Sastry (eds.)
Language: English
Year: 1997

00

27.01.2024

0

0

book Hybrid Systems

pdf

Author: R.Ł. Grossman A. Nerode A. Ravn H. Rischel (auth.) Robert L. Grossman Anil Nerode Anders P. Ravn Hans Rischel (eds.)
Language: English
Year: 1993

00

27.01.2024

0

0

book Hybrid Systems V

Hybrid Systems V

pdf

Author: Haoxun Chen Hans-Michael Hanisch (auth.) Panos Antsaklis Michael Lemmon Wolf Kohn Anil Nerode Shankar Sastry (eds.)
Language: English
Year: 1999

00

27.01.2024

2

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

djvu

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

0

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

djvu

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

0

0

book Hybrid Systems II

Hybrid Systems II

djvu

Author: Eugene Asarin Oded Maler Amir Pnueli (auth.) Panos Antsaklis Wolf Kohn Anil Nerode Shankar Sastry (eds.)
Language: English
Year: 1995

00

27.01.2024

0

0

book Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

pdf

Author: Evangelia Antonakos (auth.) Sergei N. Artemov Anil Nerode (eds.)
Language: English
Year: 2007

00

26.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