A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
KER volume 10 issue 4 Cover and Back matter
1995
Knowledge engineering review (Print)
Preserved Fulltext
YAP
405
Book reviews
411
From the journals. . . .
415
INDEX TO VOLUME 10
AI systems can be built for abductive tasks such as diagnosis.Now in paperbackFormal Methods in Artificial IntelligenceA ...
RAMSAYCovers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving including Bibel's connection method. ...
doi:10.1017/s0269888900007530
fatcat:cqneecm7tffbtk35nwpt3h4mey
Page 2765 of Mathematical Reviews Vol. , Issue 2002D
[page]
2002
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
From the preface: “We are happy to present Volume 5 of the Handbook of logic in computer science, on logic and algebraic meth- ods. ...
See also 45001.
68 COMPUTER SCIENCE
2002d:68001 68-00 03-00 03-06 03B70 68-06
* Handbook of logic in computer science. Vol. 5.
Logic and algebraic methods.
Edited by S. Abramsky, Dov. M. ...
Page 1308 of Neural Computation Vol. 7, Issue 6
[page]
1995
Neural Computation
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
A special preference is given to:
— logical systems and methods of computer science,
— algebraical models and methods of computer science. ...
The range of topics covered by Fundamenta Informaticae includes:
— Solutions by mathematical methods of problems emerg- ing in computer science.
— Mathematical problems inspired by computer science. ...
Front Matter, Table of Contents, Preface, Conference Organization
2019
Conference on Algebra and Coalgebra in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Programming Tao Gu and Fabio Zanasi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10:1-10:21 CARTOGRAPHER: A Tool for String Diagrammatic ...
Nick Bezhanishvili, Jim de Groot, and Yde Venema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7:1-7:18 Coinduction in Flow: The Later Modality in Fibrations Henning Basold . . . . . . . ...
Preface This volume contains the proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science (CALCO), held at University College London, London, UK, from June 3 to June 6, 2019. ...
doi:10.4230/lipics.calco.2019.0
dblp:conf/calco/X19
fatcat:zdnf2yfalrearavi62ocigbgsi
Abstract State Machines 1988-1998: Commented ASM Bibliography
[article]
1998
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Richter, editors, Computer Science Logic, volume 702 of Lecture Notes in Computer Science, pages 182-215. Springer, 1993. ...
Richter, editors, Computer Science Logic, volume 626 of LNCS, pages 15-34. ...
arXiv:cs/9811014v1
fatcat:w3vj5i7mzbccbcibroi7dkmhtq
Logic in Computer Science
[chapter]
2001
Current Trends In Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Acknowledgments I thank Philip Wadler for sending me his opinions on Yuri Gurevich's comments related to pure functional programming in [8, Section 4.3], ...
The first was ACM Transactions on Computational Logic, founded in 2000 with Krzysztof Apt as first editor-in-chief, the second was Logical Methods in Computer Science, founded in 2005 with Jiri Adamek ...
But the reality is that if one zooms into Volume-B research, one finds again the Volume-A/Volume-B dichotomy, also reflected in the range of topics of the Symposium on Logic in Computer Science (LICS), ...
doi:10.1142/9789812810403_0003
fatcat:fal4prkmgnb4hgqu6gfiin4c6u
The Encyclopedia of Neutrosophic Researchers, 2nd Volume
2018
Figshare
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In the past years, the fields of neutrosophics have been extended and applied in various fields, such as: artificial intelligence, data mining, soft computing, decision making in incomplete / indeterminate ...
/ inconsistent information systems, image processing, computational modelling, robotics, medical diagnosis, biomedical engineering, investment problems, economic forecasting, social science, humanistic ...
Generalized Fuzzy
Neutrosophic Soft Sets and Its Application in Decision
Making. International Journal of Advanced Research in
Computer Science and Engineering 6(10) (2016) 54-57. ...
doi:10.6084/m9.figshare.7076483.v1
fatcat:lywimpsh35hevfonzos5pxzvse
JFP volume 22 issue 3 Cover and Back matter
2012
Journal of functional programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Logic programming applies to all areas of artificial intelligence and computer science and is fundamental to them. ...
Theory and Practice of Logic Programming emphasises both the theory and practice of logic programming. ...
computer science which focuses on the application of ideas from the structural side of mathematics and mathematical logic to computer science. ...
doi:10.1017/s0956796812000196
fatcat:my3t53c7afe6jpgyzze3n3jlfe
Fuzzy Logic And Control Strategies On A Sump
2018
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The current conventional controllers would not be able to solve problems with large time delay and nonlinearities, Fuzzy Logic controller is tested to prove its ability in solving the listed problems of ...
Sump can be defined as a reservoir which contains slurry; a mixture of solid and liquid or water, in it. Sump system is an unsteady process owing to the level response. ...
In
100
Sump Volume
50
Sump Volume
50
Flow of Solid In
40
Flow of Solid In
40
Flow of Water In
60
Flow of Water In
60
Step Size
5
Amplitude
1
Step Time
5
Period
10
Solid Density ...
doi:10.5281/zenodo.1315803
fatcat:22fkiazwfvdrhgsgurm3ieblwi
Book reports
1993
Computers and Mathematics with Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Standard versus non-standard semantics in logics for functional programs. Handbook of Logic in Computer Science. Volume 1. Edited by S. Abramsky, Dov. M. Gabbay, and T. S. E. Maibaum. ...
Computable logics over finite structures. 8. Ehrenfeucht-R-aisse games. 9. Conclusions. Handbook of Logic in Computer Science. Volume 2. Edited by S. Abramsky, Dov. M. Gabbay, and T. S. E. Maibaum. ...
doi:10.1016/0898-1221(93)90079-b
fatcat:pgspfj3pxne33mbvdg4xne4vsi
Page 343 of Mathematical Reviews Vol. , Issue 86a
[page]
1986
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Some methods of integrating ordinary differential equations on a multiprocessor computer. Kibernetika (Kiev) 1983, no. 5, 10-13 (Russian. ...
From the foreword: “Logics of programs, as a field of study, touches on a wide variety of activities in computer science and mathematics. ...
Automorphism Groups of Substructure Lattices of Vector Spaces in Computable Algebra
[chapter]
2016
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Melnikov, "Computable model theory," in: Turing's Legacy: ...
Harizanov, "The lattice of computably enumerable vector spaces," in: Computability and Complexity, A. Day, M. Fellows, N. ...
Invited paper "Coding information into orders on groups," Special Session on the Inverse Problem and Other Mathematical Methods Applied in Physics and Related Sciences, Meeting of the American Mathematical ...
doi:10.1007/978-3-319-40189-8_26
fatcat:2p5s2kf5xzfwfdf7zakfx43mpy
Page 8173 of Mathematical Reviews Vol. , Issue 99k
[page]
1999
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Applied and Numerical Mathematics, 2nd Panamerican Computational Geometry, 13th European, CG’97
. * 68003
Workshop: (cont'd. ) Deontic Logic in Computer Science, AEON’98 . *03014 Field Theoretical Tools ...
Logic, Language, and Computation, 2nd CSLI * 03029
* 82001
Logical Aspects of Computational Linguistics ji keid ins datedn edema teatatidaions , * 68013 Mathematical and Computational Biology, International ...
Page 7531 of Mathematical Reviews Vol. , Issue 98K
[page]
1998
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
in Computer Science, | 111
Introduction aux logiques non classiques Introduction to nonclassical logics
* 76002 * 93005 * 68031
Lecture Notes in Computer Science, 1178 Lecture Notes in Computer Science ...
, 1227 Lecture Notes in Computer Science, 1256 Lecture Notes in Computer Science, | 258 * 03005 Lecture Notes in Computer Science, 1276 * 68004 Lecture Notes in Control and Information Sciences, 229
* ...
Page 24 of Mathematical Reviews Vol. , Issue 93a
[page]
1993
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
of computer science. ...
A few words on the relevance of intuitionistic and linear logic to computer science might improve
03 MATHEMATICAL LOGIC AND FOUNDATIONS 24
a future edition of the volume. ...
« Previous
Showing results 1 — 15 out of 183,576 results