The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Patrick Suppes: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Patrick Suppes
    The Next Generation of Interactive Theorem Provers. [Citation Graph (0, 0)][DBLP]
    CADE, 1984, pp:303-315 [Conf]
  4. 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]
  5. 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]
  6. Patrick Suppes
    Computer-assisted instruction: an overview of operations and problems. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (2), 1968, pp:1103-1113 [Conf]
  7. 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]
  8. 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]
  9. Patrick Suppes
    Current Trends in Computer-Assisted Instruction. [Citation Graph (0, 0)][DBLP]
    Advances in Computers, 1979, v:18, n:, pp:173-229 [Journal]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]

  21. Computer-assisted instruction in mathematics and language arts for deaf students. [Citation Graph (, )][DBLP]


  22. EEG Classification by ICA Source Selection of Laplacian-Filtered Data. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002