First Page | Meta Content | |
---|---|---|
![]() | Document Date: 2007-12-10 11:41:20Open Document File Size: 148,70 KBShare Result on FacebookCityUtrecht / Madras / Montreal / Leiden / Paris / Oxford / Delhi / Pune / Amsterdam / Milan / Washington / Bombay / Kanpur / Monterey / Dublin / Luxemburg / Boston / Baltimore / Bangalore / Zurich / Rome / Phoenix / Los Altos / /CompanyWorld Scientific Ltd. / Ed. Yoram Moses / MacMillan / IBM / International Journal / Oxford U. Press / Distributed Transition Systems / TARK 4 / /CountryIndia / Italy / /FacilitySaint Joseph’s University / Madras University / Bombay University / Stanford University / Mathematical Sciences Research Institute / Vanderbilt University / City College / Florida Atlantic University / Hebrew University / Weizmann Institute / University of California / University of Delaware / Courant Institute / Carnegie Mellon University / Boston University / Stevens Institute of Technology / William Paterson College / Jan Plaza / University of Amsterdam / Bristol University / Madras Christian College / University of South Carolina / Brooklyn College / Indiana University / Panjab University / Fordham University / Baruch College / Indian Institute of Science / Tata Institute of Fundamental Research / /IndustryTermPartial solution / computing / /OperatingSystemHurd / /OrganizationSchool of Mathematics / University of South Carolina / Brooklyn College / Indian Math Society / Program committee / MIT Lab for Computer Science / Indiana University / CUNY Graduate Center / Association for Symbolic Logic / Indian Computer Society / International Congress / University of Amsterdam / Bristol University / Fordham University / New School / Carnegie Mellon University / Hebrew University / Boston University / NYU / tenth world computer congress / Saint Joseph’s University / University of California at Santa Cruz / International School for Computer Scientists / Florida Atlantic University / New York Academy of Science / UCLA / William Paterson College / Rutgers / Philosophy Department / AMS / Indian Institute of Science / National Science Foundation / Bombay University / Weizmann Institute / Organising committee / MIT / Cornell / Harvard / Courant Institute / Stevens Institute of Technology / Tata Institute of Fundamental Research / University of Delaware / City College / SUNY-Buffalo / Congress / Panjab University / Baruch College / Department of Computer Science / Stanford University / Madras University / Vanderbilt University / Tulane / Madras Christian College / American Math Society / /PersonBaldwin / John Buoncristiani / Gast / Clarke / Bill Farmer / Minneapolis Honeywell / Gilbert Ndjatou / Math / Eric Pacuit / Dexter Kozen / William Lowell Putnam / John Wiley / Crispin Wright / Garrett Birkhoff / Anna Maria Zanaboni / Rani Siromoney / Ed Clarke / Tait / Angela Weiss / Paul Krasucki / Konstantinos Georgatos / Joe Halpern / Fran Berman / Tom Sibley / Marc Pauly / Morgan Kaufmann / David Ellerman / Alessandra Carbone / Samir Chopra / Victoria Symp / Noam Chomsky / David Peleg (Weizmann) / Rohit Parikh / Larry Moss / Rick Statman / Doctoral / Bob Streett / Chris Steinsvold / /PositionResearch Assistant to Noam Chomsky / Visiting Scientist / Professor / Computer science group / Engineer / research associate / Professor / Professor of Mathematics / Managing Editor / Research Assistant to Garrett Birkhoff / Professor of Computer Science / Director of the Boston Logic Colloquium / Editor / SIAM lecturer / Farmer / Program chair / Chair / library committee / chairman / Executive committee / Chair / Lecturer / Associate Professor / /ProvinceOrStateSicily / Indiana / New York / South Carolina / California / Kansas / A.B. / Wisconsin / Delaware / /PublishedMediumPhilosophy of Science / Theoretical Computer Science / Lecture Notes in Computer Science / /RegionNorth Holland / /SportsLeagueStanford University / /TechnologyFuzzy Logic / public key / artificial intelligence / /SocialTag |