San Francisco / JFLAP / Boston / Washington / DC / Berlin / Indentifiers / Buenos Aires / /
Company
DFA / Interactive Tutoring Systems / AddisonWesley Longman Publishing Co. Inc. / Morgan Kaufmann Publishers Inc. / Pearson / International Thomson Publishing / Microsoft / /
Country
United States / Argentina / /
Currency
pence / /
Event
Product Release / /
Facility
Automata library / Computer Science University of Pennsylvania Redmond University of Illinois / Building Intelligent Interactive Tutors / /
University of Pennsylvania / Computational Intelligence / Mahesh Viswanathan Department of Computer Science Microsoft Research Department / University of Illinois / IEEE Computer Society / /
Person
William R. Murray / Robert Paige / Ole J.L. Jensen / Rajeev Alur / Philip Bille / Thomas Finley / Benedikt et.al / Rajeev Motwani / Armando Solar-Lezama / Anders B. Sandholm / Lawrence H. Landweber / Timo von Oertzen / Ai / John E. Hopcroft / Xuelong Li / Michael E. Jrgensen / H. Chad Lane / Anne Adam / Michael Benedikt / H. Laurent / Sumit Gulwani / Jeffrey D. Ullman / Theis Rauhe / Jean-Pierre H. Laurent / Rishabh Singh / Beverly Park Woolf / Xinbo Gao / Mahesh Viswanathan / Michael Sipser / Bing Xiao / Tobias Grtner / Cristian Riveros / Sumit Gulwani Dileep Kini / Nikolaj Bjørner / Manuel Bodirsky / Jakub Kozik / Adam / Nils Klarlund / Dacheng Tao / Jan Schwinghammer / Susan H. Rodger / Wolfgang Thomas / Gabriele Puppis / Margus Veanes / /
Position
editor / tutor / teacher / representative / /
Product
A1 / M OSEL / Automata / /
ProgrammingLanguage
D / DC / /
ProvinceOrState
Illinois / /
PublishedMedium
Electronic Notes in Theoretical Computer Science / Lecture Notes in Computer Science / /
Technology
information technology / 3 An Algorithm / machine learning / two algorithms / CMP / enumeration algorithm / artificial intelligence / equivalence algorithm / recognized algorithm / e-learning / second algorithm / /