Search the dblp DataBase
Patrick Suppes :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Alfred Bork , Kenneth Bowles , Patrick Suppes , Robert Noel Computer-based courses(Panel Discussion). [Citation Graph (0, 0)][DBLP ] ACM Annual Conference (2), 1978, pp:658- [Conf ] Patrick Suppes Psychological Nature of Verification of Informal Mathematical Proofs. [Citation Graph (0, 0)][DBLP ] We Will Show Them! (2), 2005, pp:693-712 [Conf ] Patrick Suppes The Next Generation of Interactive Theorem Provers. [Citation Graph (0, 0)][DBLP ] CADE, 1984, pp:303-315 [Conf ] Patrick Suppes Uses of Artificial Intelligence on Computer Based Instruction. [Citation Graph (0, 0)][DBLP ] Artificial Intelligence in Higher Education, 1989, pp:206-225 [Conf ] Rolando Chuaqui , Patrick Suppes An equational deductive system for the differential and integral calculus. [Citation Graph (0, 0)][DBLP ] Conference on Computer Logic, 1988, pp:25-49 [Conf ] Patrick Suppes Computer-assisted instruction: an overview of operations and problems. [Citation Graph (0, 0)][DBLP ] IFIP Congress (2), 1968, pp:1103-1113 [Conf ] Dik Kin Wong , Marcos Perreau Guimaraes , E. Timothy Uy , Logan Grosenick , Patrick Suppes Multichannel Classification of Single EEG Trials with Independent Component Analysis. [Citation Graph (0, 0)][DBLP ] ISNN (2), 2006, pp:541-547 [Conf ] Patrick Suppes , Michael Böttner , Lin Liang , Raymond Ravaglia Machine Learning of Natural Language: Problems and Prospects. [Citation Graph (0, 0)][DBLP ] WOCFAI, 1995, pp:511-525 [Conf ] Patrick Suppes Current Trends in Computer-Assisted Instruction. [Citation Graph (0, 0)][DBLP ] Advances in Computers, 1979, v:18, n:, pp:173-229 [Journal ] Patrick Suppes , Lin Liang , Michael Böttner Machine Learning Comprehension Grammars for Ten Languages. [Citation Graph (0, 0)][DBLP ] Computational Linguistics, 1996, v:22, n:3, pp:329-350 [Journal ] Colleen Crangle , Patrick Suppes Context-Fixing Semantics for Instructable Robots. [Citation Graph (0, 0)][DBLP ] International Journal of Man-Machine Studies, 1987, v:27, n:4, pp:371-400 [Journal ] Robert Elton Maas , Patrick Suppes Natural-Language Interface for an Instructable Robot. [Citation Graph (0, 0)][DBLP ] International Journal of Man-Machine Studies, 1985, v:22, n:2, pp:215-240 [Journal ] Dik Kin Wong , Marcos Perreau Guimaraes , E. Timothy Uy , Patrick Suppes Classification of individual trials based on the best independent component of EEG-recorded sentences. [Citation Graph (0, 0)][DBLP ] Neurocomputing, 2004, v:61, n:, pp:479-484 [Journal ] Patrick Suppes , Jean-Yves Béziau Semantic computations of truth based on associations already learned. [Citation Graph (0, 0)][DBLP ] J. Applied Logic, 2004, v:2, n:4, pp:457-467 [Journal ] Patrick Suppes , Shuzo Takahashi An Interactive Calculus Theorem-Prover for Continuity Properties. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 1989, v:7, n:6, pp:573-590 [Journal ] Rolando Chuaqui , Patrick Suppes Free-Variable Axiomatic Foundations of Infinitesimal Analysis: A Fragment with Finitary Consistency Proof. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1995, v:60, n:1, pp:122-159 [Journal ] Herman Rubin , Patrick Suppes A Note on Two-Place Predicates and Fitting Sequences of Measure Functions. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1955, v:20, n:2, pp:121-122 [Journal ] Dana S. Scott , Patrick Suppes Foundational Aspects of Theories of Measurement. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1958, v:23, n:2, pp:113-128 [Journal ] Patrick Suppes Philosophical Implications of Tarski's Work. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1988, v:53, n:1, pp:80-91 [Journal ] Patrick Suppes , Michael Böttner , Lin Liang Comprehension Grammars Generated from Machine Learning of Natural Languages. [Citation Graph (0, 0)][DBLP ] Machine Learning, 1995, v:19, n:2, pp:133-152 [Journal ] Computer-assisted instruction in mathematics and language arts for deaf students. [Citation Graph (, )][DBLP ] EEG Classification by ICA Source Selection of Laplacian-Filtered Data. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.003secs