Back to Results
First PageMeta Content
Non-classical logic / Philosophical logic / Modal logic / Rohit Jivanlal Parikh / Fuzzy logic / Temporal logic / First-order logic / Dynamic logic / Proof theory / Logic / Mathematical logic / Mathematics


Document Date: 2007-12-10 11:41:20

Open Document

File Size: 148,70 KB

Share Result on Facebook

City

Utrecht / Madras / Montreal / Leiden / Paris / Oxford / Delhi / Pune / Amsterdam / Milan / Washington / Bombay / Kanpur / Monterey / Dublin / Luxemburg / Boston / Baltimore / Bangalore / Zurich / Rome / Phoenix / Los Altos / /

Company

World Scientific Ltd. / Ed. Yoram Moses / MacMillan / IBM / International Journal / Oxford U. Press / Distributed Transition Systems / TARK 4 / /

Country

India / Italy / /

Facility

Saint 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 / /

IndustryTerm

Partial solution / computing / /

OperatingSystem

Hurd / /

Organization

School 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 / /

Person

Baldwin / 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 / /

Position

Research 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 / /

ProvinceOrState

Sicily / Indiana / New York / South Carolina / California / Kansas / A.B. / Wisconsin / Delaware / /

PublishedMedium

Philosophy of Science / Theoretical Computer Science / Lecture Notes in Computer Science / /

Region

North Holland / /

SportsLeague

Stanford University / /

Technology

Fuzzy Logic / public key / artificial intelligence / /

SocialTag