Filters








183,576 Hits in 5.2 sec

KER volume 10 issue 4 Cover and Back matter

1995 Knowledge engineering review (Print)  
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  
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  
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

Markus Roggenbach, Ana Sokolova, Michael Wagner
2019 Conference on Algebra and Coalgebra in Computer Science  
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]

Egon Boerger, James K. Huggins
1998 arXiv   pre-print
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]

Yuri GUREVICH
2001 Current Trends In Theoretical Computer Science  
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

Florentin Smarandache
2018 Figshare  
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  
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

Nasser Mohamed Ramli, Nurul Izzati Zulkifli
2018 Zenodo  
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  
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  
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]

Rumen Dimitrov, Valentina Harizanov, Andrei Morozov
2016 Lecture Notes in Computer Science  
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  
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  
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  
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