Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Patrick Suppes
@article{DBLP:journals/corr/abs-1901-04110,
author = {Colleen E. Crangle and
Rui Wang and
Marcos Perreau Guimaraes and
Michelle U. Nguyen and
Duc T. Nguyen and
Patrick Suppes},
title = {Machine learning for the recognition of emotion in the speech of couples
in psychotherapy using the Stanford Suppes Brain Lab Psychotherapy
Dataset},
journal = {CoRR},
volume = {abs/1901.04110},
year = {2019},
url = {http://arxiv.org/abs/1901.04110},
eprinttype = {arXiv},
eprint = {1901.04110},
timestamp = {Fri, 01 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-04110.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mima/Suppes16,
author = {Patrick Suppes},
title = {Qualitative Axioms of Uncertainty as a Foundation for Probability
and Decision-Making},
journal = {Minds Mach.},
volume = {26},
number = {1-2},
pages = {185--202},
year = {2016},
url = {https://doi.org/10.1007/s11023-015-9385-7},
doi = {10.1007/S11023-015-9385-7},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mima/Suppes16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ce/SuppesLMF14,
author = {Patrick Suppes and
Tie Liang and
Elizabeth E. Macken and
Daniel P. Flickinger},
title = {Positive technological and negative pre-test-score effects in a four-year
assessment of low socioeconomic status {K-8} student learning in computer-based
Math and Language Arts courses},
journal = {Comput. Educ.},
volume = {71},
pages = {23--32},
year = {2014},
url = {https://doi.org/10.1016/j.compedu.2013.09.008},
doi = {10.1016/J.COMPEDU.2013.09.008},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ce/SuppesLMF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/Suppes14,
author = {Patrick Suppes},
editor = {Maria Carla Galavotti and
Dennis Dieks and
Wenceslao J. Gonzalez and
Stephan Hartmann and
Thomas Uebel and
Marcel Weber},
title = {The Future Role of Computation in Science and Society},
booktitle = {New Directions in the Philosophy of Science},
pages = {35--44},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04382-1\_3},
doi = {10.1007/978-3-319-04382-1\_3},
timestamp = {Thu, 14 Mar 2019 16:43:25 +0100},
biburl = {https://dblp.org/rec/books/daglib/p/Suppes14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neco/CarvalhaesS11,
author = {Claudio Carvalhaes and
Patrick Suppes},
title = {A Spline Framework for Estimating the {EEG} Surface Laplacian Using
the Euclidean Metric},
journal = {Neural Comput.},
volume = {23},
number = {11},
pages = {2974--3000},
year = {2011},
url = {https://doi.org/10.1162/NECO\_a\_00192},
doi = {10.1162/NECO\_A\_00192},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/neco/CarvalhaesS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Suppes11,
author = {Patrick Suppes},
title = {Future development of scientific structures closer to experiments:
Response to {F.A.} Muller},
journal = {Synth.},
volume = {183},
number = {1},
pages = {115--126},
year = {2011},
url = {https://doi.org/10.1007/s11229-009-9670-1},
doi = {10.1007/S11229-009-9670-1},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Suppes11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tnn/VassilievaPBS11,
author = {Ekaterina Vassilieva and
Guillaume Pinto and
J. Acacio de Barros and
Patrick Suppes},
title = {Learning Pattern Recognition Through Quasi-Synchronization of Phase
Oscillators},
journal = {{IEEE} Trans. Neural Networks},
volume = {22},
number = {1},
pages = {84--95},
year = {2011},
url = {https://doi.org/10.1109/TNN.2010.2086476},
doi = {10.1109/TNN.2010.2086476},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tnn/VassilievaPBS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neco/SuppesGW09,
author = {Patrick Suppes and
Marcos Perreau Guimaraes and
Dik Kin Wong},
title = {Partial Orders of Similarity Differences Invariant Between EEG-Recorded
Brain and Perceptual Representations of Language},
journal = {Neural Comput.},
volume = {21},
number = {11},
pages = {3228--3269},
year = {2009},
url = {https://doi.org/10.1162/neco.2009.04-08-764},
doi = {10.1162/NECO.2009.04-08-764},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/neco/SuppesGW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isbi/CarvalhaesGGS09,
author = {Claudio Carvalhaes and
Marcos Perreau Guimaraes and
Logan Grosenick and
Patrick Suppes},
title = {{EEG} Classification by {ICA} Source Selection of Laplacian-Filtered
Data},
booktitle = {Proceedings of the 2009 {IEEE} International Symposium on Biomedical
Imaging: From Nano to Macro, Boston, MA, USA, June 28 - July 1, 2009},
pages = {1003--1006},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ISBI.2009.5193224},
doi = {10.1109/ISBI.2009.5193224},
timestamp = {Wed, 04 Oct 2023 17:01:25 +0200},
biburl = {https://dblp.org/rec/conf/isbi/CarvalhaesGGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/WongGUGCDS08,
author = {Dik Kin Wong and
Logan Grosenick and
E. Timothy Uy and
Marcos Perreau Guimaraes and
Claudio Carvalhaes and
Peter Desain and
Patrick Suppes},
title = {Quantifying inter-subject agreement in brain-imaging analyses},
journal = {NeuroImage},
volume = {39},
number = {3},
pages = {1051--1063},
year = {2008},
url = {https://doi.org/10.1016/j.neuroimage.2007.07.064},
doi = {10.1016/J.NEUROIMAGE.2007.07.064},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/neuroimage/WongGUGCDS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Suppes07a,
author = {Patrick Suppes},
title = {Statistical concepts in philosophy of science},
journal = {Synth.},
volume = {154},
number = {3},
pages = {485--496},
year = {2007},
url = {https://doi.org/10.1007/s11229-006-9122-0},
doi = {10.1007/S11229-006-9122-0},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Suppes07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Suppes07,
author = {Patrick Suppes},
title = {Where do Bayesian priors come from?},
journal = {Synth.},
volume = {156},
number = {3},
pages = {441--471},
year = {2007},
url = {https://doi.org/10.1007/s11229-006-9133-x},
doi = {10.1007/S11229-006-9133-X},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Suppes07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tbe/GuimaraesWUGS07,
author = {Marcos Perreau Guimaraes and
Dik Kin Wong and
E. Timothy Uy and
Logan Grosenick and
Patrick Suppes},
title = {Single-Trial Classification of {MEG} Recordings},
journal = {{IEEE} Trans. Biomed. Eng.},
volume = {54},
number = {3},
pages = {436--443},
year = {2007},
url = {https://doi.org/10.1109/TBME.2006.888824},
doi = {10.1109/TBME.2006.888824},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tbe/GuimaraesWUGS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/SuppesB07,
author = {Patrick Suppes and
J. Acacio de Barros},
title = {{INVITED:} Quantum Mechanics and the Brain},
booktitle = {Quantum Interaction, Papers from the 2007 {AAAI} Spring Symposium,
Technical Report SS-07-08, Stanford, California, USA, March 26-28,
2007},
pages = {75--82},
publisher = {{AAAI}},
year = {2007},
url = {http://www.aaai.org/Library/Symposia/Spring/2007/ss07-08-012.php},
timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
biburl = {https://dblp.org/rec/conf/aaaiss/SuppesB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijon/WongUGYS06,
author = {Dik Kin Wong and
E. Timothy Uy and
Marcos Perreau Guimaraes and
Wayne Yang and
Patrick Suppes},
title = {Interpretation of perceptron weights as constructed time series for
{EEG} classification},
journal = {Neurocomputing},
volume = {70},
number = {1-3},
pages = {373--383},
year = {2006},
url = {https://doi.org/10.1016/j.neucom.2006.01.020},
doi = {10.1016/J.NEUCOM.2006.01.020},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijon/WongUGYS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isnn/WongGUGS06,
author = {Dik Kin Wong and
Marcos Perreau Guimaraes and
E. Timothy Uy and
Logan Grosenick and
Patrick Suppes},
editor = {Jun Wang and
Zhang Yi and
Jacek M. Zurada and
Bao{-}Liang Lu and
Hujun Yin},
title = {Multichannel Classification of Single {EEG} Trials with Independent
Component Analysis},
booktitle = {Advances in Neural Networks - {ISNN} 2006, Third International Symposium
on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings,
Part {III}},
series = {Lecture Notes in Computer Science},
volume = {3973},
pages = {541--547},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11760191\_79},
doi = {10.1007/11760191\_79},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isnn/WongGUGS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scw/Suppes05,
author = {Patrick Suppes},
title = {The pre-history of Kenneth Arrow's social choice and individual values},
journal = {Soc. Choice Welf.},
volume = {25},
number = {2-3},
pages = {319--326},
year = {2005},
url = {https://doi.org/10.1007/s00355-005-0006-x},
doi = {10.1007/S00355-005-0006-X},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scw/Suppes05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Suppes05,
author = {Patrick Suppes},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Psychological Nature of Verification of Informal Mathematical Proofs},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two},
pages = {693--712},
publisher = {College Publications},
year = {2005},
timestamp = {Thu, 09 Jul 2020 09:13:39 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Suppes05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijon/WongGUS04,
author = {Dik Kin Wong and
Marcos Perreau Guimaraes and
E. Timothy Uy and
Patrick Suppes},
title = {Classification of individual trials based on the best independent
component of EEG-recorded sentences},
journal = {Neurocomputing},
volume = {61},
pages = {479--484},
year = {2004},
url = {https://doi.org/10.1016/j.neucom.2004.06.004},
doi = {10.1016/J.NEUCOM.2004.06.004},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijon/WongGUS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/SuppesB04,
author = {Patrick Suppes and
Jean{-}Yves B{\'{e}}ziau},
title = {Semantic computations of truth based on associations already learned},
journal = {J. Appl. Log.},
volume = {2},
number = {4},
pages = {457--467},
year = {2004},
url = {https://doi.org/10.1016/j.jal.2004.07.006},
doi = {10.1016/J.JAL.2004.07.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/SuppesB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0005085,
author = {Patrick Suppes},
title = {Representation and invariance of scientific structures},
series = {{CSLI} lecture notes series},
volume = {130},
publisher = {{CSLI} Publications},
year = {2002},
isbn = {978-1-57586-333-7},
timestamp = {Mon, 15 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0005085.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Suppes00,
author = {Patrick Suppes},
title = {Quantifier-Free Axioms For Constructive Affine Plane Geometry},
journal = {Synth.},
volume = {125},
number = {1-2},
pages = {263--281},
year = {2000},
url = {https://doi.org/10.1023/A:1005242507092},
doi = {10.1023/A:1005242507092},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Suppes00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Suppes99,
author = {Patrick Suppes},
title = {The Noninvariance Of Deterministic Causal Models},
journal = {Synth.},
volume = {121},
number = {1-2},
pages = {181--198},
year = {1999},
url = {https://doi.org/10.1023/A:1005237916478},
doi = {10.1023/A:1005237916478},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Suppes99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/robotica/SuppesB98,
author = {Patrick Suppes and
Michael B{\"{o}}ttner},
title = {Robotic machine learning of anaphora},
journal = {Robotica},
volume = {16},
number = {4},
pages = {425--431},
year = {1998},
url = {https://doi.org/10.1017/s0263574798000022},
doi = {10.1017/S0263574798000022},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/robotica/SuppesB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/98/RavagliaARS98,
author = {Raymond Ravaglia and
Theodore Alper and
Marianna Rozenfeld and
Patrick Suppes},
editor = {Norbert Kajler},
title = {Successful pedagogical applications of symbolic computation},
booktitle = {Computer-Human Interaction in Symbolic Computation},
series = {Texts and Monographs in Symbolic Computation},
pages = {61--88},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-7091-6461-7\_5},
doi = {10.1007/978-3-7091-6461-7\_5},
timestamp = {Mon, 11 May 2020 14:58:06 +0200},
biburl = {https://dblp.org/rec/books/sp/98/RavagliaARS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/coling/SuppesLB96,
author = {Patrick Suppes and
Lin Liang and
Michael B{\"{o}}ttner},
title = {Machine Learning Comprehension Grammars for Ten Languages},
journal = {Comput. Linguistics},
volume = {22},
number = {3},
pages = {329--350},
year = {1996},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/coling/SuppesLB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ChuaquiS95,
author = {Rolando Chuaqui and
Patrick Suppes},
title = {Free-Variable Axiomatic Foundations of Infinitesimal Analysis: {A}
Fragment with Finitary Consistency Proof},
journal = {J. Symb. Log.},
volume = {60},
number = {1},
pages = {122--159},
year = {1995},
url = {https://doi.org/10.2307/2275512},
doi = {10.2307/2275512},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ChuaquiS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/SuppesBL95,
author = {Patrick Suppes and
Michael B{\"{o}}ttner and
Lin Liang},
title = {Comprehension Grammars Generated from Machine Learning of Natural
Languages},
journal = {Mach. Learn.},
volume = {19},
number = {2},
pages = {133--152},
year = {1995},
url = {https://doi.org/10.1007/BF01007462},
doi = {10.1007/BF01007462},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ml/SuppesBL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wocfai/SuppesBLR95,
author = {Patrick Suppes and
Michael B{\"{o}}ttner and
Lin Liang and
Raymond Ravaglia},
editor = {Michel De Glas and
Zdzislaw Pawlak},
title = {Machine Learning of Natural Language: Problems and Prospects},
booktitle = {Proceedings of the Second World Conference on the Fundamentals of
Artificial Intelligence, {WOCFAI} 1995, 3-7 July 1995, Paris, France},
pages = {511--525},
publisher = {Angkor, 6, rue Ma{\^{\i}}tre-Albert, 75005 Paris, France},
year = {1995},
timestamp = {Tue, 30 Jul 2019 08:58:42 +0200},
biburl = {https://dblp.org/rec/conf/wocfai/SuppesBLR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/SuppesT89,
author = {Patrick Suppes and
Shuzo Takahashi},
title = {An Interactive Calculus Theorem-Prover for Continuity Properties},
journal = {J. Symb. Comput.},
volume = {7},
number = {6},
pages = {573--590},
year = {1989},
url = {https://doi.org/10.1016/S0747-7171(89)80041-0},
doi = {10.1016/S0747-7171(89)80041-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/SuppesT89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cepes/Suppes89,
author = {Patrick Suppes},
editor = {Vladim{\'{\i}}r Mar{\'{\i}}k and
Olga Step{\'{a}}nkov{\'{a}} and
Zdenek Zdr{\'{a}}hal},
title = {Uses of Artificial Intelligence on Computer Based Instruction},
booktitle = {Artificial Intelligence in Higher Education, {CEPES-UNESCO} International
Symposium, Prague, Czechoslovakia, October 23-25, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {451},
pages = {206--225},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52952-7\_27},
doi = {10.1007/3-540-52952-7\_27},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/cepes/Suppes89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Suppes88,
author = {Patrick Suppes},
title = {Philosophical Implications of Tarski's Work},
journal = {J. Symb. Log.},
volume = {53},
number = {1},
pages = {80--91},
year = {1988},
url = {https://doi.org/10.1017/S0022481200028930},
doi = {10.1017/S0022481200028930},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Suppes88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colog/ChuaquiS88,
author = {Rolando Chuaqui and
Patrick Suppes},
editor = {Per Martin{-}L{\"{o}}f and
Grigori Mints},
title = {An equational deductive system for the differential and integral calculus},
booktitle = {COLOG-88, International Conference on Computer Logic, Tallinn, USSR,
December 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {417},
pages = {25--49},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-52335-9\_46},
doi = {10.1007/3-540-52335-9\_46},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/colog/ChuaquiS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/CrangleS87,
author = {Colleen Crangle and
Patrick Suppes},
title = {Context-Fixing Semantics for Instructable Robots},
journal = {Int. J. Man Mach. Stud.},
volume = {27},
number = {4},
pages = {371--400},
year = {1987},
url = {https://doi.org/10.1016/S0020-7373(87)80004-4},
doi = {10.1016/S0020-7373(87)80004-4},
timestamp = {Fri, 15 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijmms/CrangleS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/MaasS85,
author = {Robert Elton Maas and
Patrick Suppes},
title = {Natural-Language Interface for an Instructable Robot},
journal = {Int. J. Man Mach. Stud.},
volume = {22},
number = {2},
pages = {215--240},
year = {1985},
url = {https://doi.org/10.1016/S0020-7373(85)80071-7},
doi = {10.1016/S0020-7373(85)80071-7},
timestamp = {Fri, 15 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijmms/MaasS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Suppes84,
author = {Patrick Suppes},
editor = {Robert E. Shostak},
title = {The Next Generation of Interactive Theorem Provers},
booktitle = {7th International Conference on Automated Deduction, Napa, California,
USA, May 14-16, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {170},
pages = {303--315},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/978-0-387-34768-4\_18},
doi = {10.1007/978-0-387-34768-4\_18},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Suppes84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ac/Suppes79,
author = {Patrick Suppes},
title = {Current Trends in Computer-Assisted Instruction},
journal = {Adv. Comput.},
volume = {18},
pages = {173--229},
year = {1979},
url = {https://doi.org/10.1016/S0065-2458(08)60584-7},
doi = {10.1016/S0065-2458(08)60584-7},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ac/Suppes79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acm/BorkBSN78,
author = {Alfred Bork and
Kenneth Bowles and
Patrick Suppes and
Robert Noel},
editor = {Richard H. Austing and
Dennis M. Conti and
Gerald L. Engel},
title = {Computer-based courses(Panel Discussion)},
booktitle = {Proceedings 1978 {ACM} Annual Conference, Washington, DC, USA, December
4-6, 1978, Volume {II}},
pages = {658},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800178.810107},
doi = {10.1145/800178.810107},
timestamp = {Wed, 14 Apr 2021 11:40:49 +0200},
biburl = {https://dblp.org/rec/conf/acm/BorkBSN78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/SuppesZ76,
author = {Patrick Suppes and
Mario Zanotti},
title = {Necessary and sufficient conditions for existence of a unique measure
strictly agreeing with a qualitative probability ordering},
journal = {J. Philos. Log.},
volume = {5},
number = {3},
pages = {431--438},
year = {1976},
url = {https://doi.org/10.1007/BF00649401},
doi = {10.1007/BF00649401},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/SuppesZ76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afips/SuppesF74,
author = {Patrick Suppes and
John Dexter Fletcher},
title = {Computer-assisted instruction in mathematics and language arts for
deaf students},
booktitle = {American Federation of Information Processing Societies: 1974 National
Computer Conference, 6-10 May 1974, Chicago, Illinois, {USA}},
series = {{AFIPS} Conference Proceedings},
volume = {43},
pages = {127--131},
publisher = {{AFIPS} Press},
year = {1974},
url = {https://doi.org/10.1145/1500175.1500199},
doi = {10.1145/1500175.1500199},
timestamp = {Wed, 14 Apr 2021 16:50:07 +0200},
biburl = {https://dblp.org/rec/conf/afips/SuppesF74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Suppes68,
author = {Patrick Suppes},
editor = {A. J. H. Morrel},
title = {Computer-assisted instruction: an overview of operations and problems},
booktitle = {Information Processing, Proceedings of {IFIP} Congress 1968, Edinburgh,
UK, 5-10 August 1968, Volume 2 - Hardware, Applications},
pages = {1103--1113},
year = {1968},
timestamp = {Fri, 26 Jul 2019 15:39:52 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Suppes68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ScottS58,
author = {Dana S. Scott and
Patrick Suppes},
title = {Foundational Aspects of Theories of Measurement},
journal = {J. Symb. Log.},
volume = {23},
number = {2},
pages = {113--128},
year = {1958},
url = {https://doi.org/10.2307/2964389},
doi = {10.2307/2964389},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ScottS58.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/RubinS55,
author = {Herman Rubin and
Patrick Suppes},
title = {A Note on Two-Place Predicates and Fitting Sequences of Measure Functions},
journal = {J. Symb. Log.},
volume = {20},
number = {2},
pages = {121--122},
year = {1955},
url = {https://doi.org/10.2307/2266897},
doi = {10.2307/2266897},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/RubinS55.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-10-01 22:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
