| Call Number (LC) | Title | Results |
|---|---|---|
| QA76.9.L36 B73 1996 | Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil / | 1 |
| QA76.9.L36 -- B73 1996eb | Advances in Contemporary Logic and Computer Science. | 1 |
| QA76.9.L38 | Introduction to lattice theory with computer science applications / | 2 |
| QA76.9.L38 R58 2021 | Introduction to lattice algebra : with applications in AI, pattern recognition, image analysis, and biomimetic neural networks / | 1 |
| QA76.9.L63 |
Fields of logic and computation III essays dedicated to Yuri Gurevich on the occasion of his 80th birthday / Formal Methods for Real-Time and Probabilistic Systems 5th International AMAST Workshop, ARTS99 Bamberg, Germany, May 2628, 1999 Proceedings / Structured object-oriented formal language and method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised selected papers / Theoretical aspects of computing - ICTAC 2020 : 17th international colloquium, Macau, China, November 30 - December 4, 2020, proceedings / Rewriting logic and its applications : 13th International Workshop, WRLA 2020, virtual event, October 20-22, 2020 : revised selected papers / Thinking programs logical modeling and reasoning about languages, data, computations, and executions / Structured object-oriented formal language and method : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised selected papers / Structured object-oriented formal language and method 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised selected papers / Fundamentals of logic and computation with practical automated reasoning and verification / Computational thinking a perspective on computer science / Theoretical aspects of computing -- ICTAC 2018 : 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings / Rules and reasoning : second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings / Structured object-oriented formal language and method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers / Language, logic, and computation : 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, revised selected papers / Dynamic logic : new trends and applications : first International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings / Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings / CONCUR 2014 - Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings / Computer Safety, Reliability, and Security 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings / Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings / Dynamic logic : new trends and applications : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022 : revised selected papers / Rules and reasoning 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings / Rewriting logic and its applications : 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, revised selected papers / The logic of software : a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday / Handbook of the history of logic. Computer science logic : 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 : proceedings / Structured object-oriented formal language and method : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised selected papers / Implementation and Application of Automata : 24th International Conference, CIAA 2019, Koésice, Slovakia, July 22-25, 2019, Proceedings / Language, logic, and computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers / Handbook of practical logic and automated reasoning / Fields of logic and computation II : essays dedicated to Yuri Gurevich on the occasion of his 75th birthday / Structured object-oriented formal language and method 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised selected papers / Theoretical aspects of computing -- ICTAC 2019 : 16th International Colloquium, Hammamet, Tunisia, October 31-November 4, 2019, Proceedings / Rules and reasoning : third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings / Dynamic logic new trends and applications : second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings / Dynamic logic : new trends and applications : third international workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020 : revised selected papers / Logic Based Program Synthesis and Transformation. Theoretical aspects of computing -- ICTAC 2016 : 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings / Structured object-oriented formal language and method : third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013: revised selected papers / Reversible computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013, proceedings / Logic, language, and computation : 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised selected papers / Reversible computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings / Deontic logic and normative systems : 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014 : proceedings / Structured object-oriented formal language and method : 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised selected papers / Algebraic and algorithmic aspects of differential and integral operators : 5th International Meeting, AADIOS 2012, held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012 : selected and invited papers / Concrete semantics : with Isabelle/HOL / Reversible computation : 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings / Advances in temporal logic / Subjective logic : a formalism for reasoning under uncertainty / Finiteness and Regularity in Semigroups and Formal Languages / State-Space Search : Algorithms, Complexity, Extensions, and Applications / Fundamentals of Algebraic Specification 1 : Equations and Initial Semantics / FM99 Formal Methods : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 2024, 1999 Proceedings, Volume I / Relations and Graphs : Discrete Mathematics for Computer Scientists / Logic and Algebra of Specification / Temporal Logic of Programs / CONCUR'93 : 4th Intrenational Conference on Concurrency Theory Hildesheim, Germany, August 23-26, 1993 Proceedings / Computer science logic 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings / Fundamentals of Algebraic Specification 2 : Module Specifications and Constraints / Computer science logic 10th international workshop, CSL' 96, Annual Conference of the EACSL, Utrecht, the Netherlands, September 21-27, 1996 : selected papers / Logic of Programming and Calculi of Discrete Design : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare / Logic, Algebra, and Computation : International Summer School / FM99 Formal Methods : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 2024, 1999 Proceedings, Volume II / Deontic Logic, Agency and Normative Systems : ΔEON '96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996 / Fault Diagnosis and Fault Tolerance : a Systematic Approach to Special Topics / Digital Circuit Design for Computer Science Students : an Introductory Textbook / Computational Logic : Proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29-August 10, 1997 / Applied logic for computer scientists : computational deduction and formal proofs / Digital logic for computing / Structured object-oriented formal language and method : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015, Revised selected papers / Software engineering and formal methods : SEFM 2013 collocated workshops : BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 : revised selected papers / Specification, algebra, and software : essays dedicated to Kokichi Futatsugi / Abstract State Machines 2003 : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3 7, 2003 Proceedings. Logic: reference book for computer scientists / Logics in computer science a study on extensions of temporal and strategic logics / Logics for computer and data sciences, and artificial intelligence / Becoming a computational thinker : success in the digital age / Logical methods in computer science LMCS. Solving Higher-Order Equations From Logic to Programming / Logics and type systems in theory and practice : essays dedicated to Herman Geuvers on the occasion of his 60th birthday / Dynamic logic : new trends and applications : 5th international workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, revised selected papers / From computational logic to computational biology : essays dedicated to Alfredo Ferro to celebrate his scientific career / Rewriting logic and its applications : 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised selected papers / |
83 |
| QA76.9.L63 A26 | ACM transactions on computational logic. | 1 |
| QA76.9.L63 A3 | ACM transactions on computational logic | 1 |
| QA76.9.L63 A38 2000 | Advances in temporal logic / | 1 |
| QA76.9.L63 B73 2007 | The calculus of computation : decision procedures with applications to verification / | 1 |
| QA76.9.L63 B73 2007eb | Calculus of computation decision procedures with applications to verification / | 1 |
| QA76.9.L63 C34 2011 | Logic for computer science and artificial intelligence / | 3 |
| QA76.9.L63 C55 2011 | Computational logic in multi-agent systems 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, proceedings / | 1 |
| QA76.9.L63 C65 2000 | Computational logic--CL 2000 : First International Conference, London, UK, July 24-28, 2000 : proceedings / | 1 |
| QA76.9.L63 C65 2004 | Computational logic in multi-agent systems : 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004 : revised selected and invited papers / | 1 |
| QA76.9.L63 C655 2000 | Reflection in rewriting logic : metalogical foundations and metaprogramming applications / | 1 |
| QA76.9.L63 C6555 2007eb | All about Maude-- a high-performance logical framework how to specify, program and verify systems in rewriting logic / | 1 |
| QA76.9.L63 C656 2004 |
Computational logic in multi-agent systems : 4th international workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004 : revised selected and invited papers / Computational logic in multi-agent systems 4th international workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004 : revised selected and invited papers / |
2 |
| QA76.9.L63 C656 2004b | Computational logic in multi-agent systems : 5th international workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004 : revised selected and invited papers / | 2 |
| QA76.9.L63 C656 2004beb | Computational logic in multi-agent systems 5th international workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004 : revised selected and invited papers / | 1 |
| QA76.9.L63 C656 2006 | Computational logic in multi-agent systems 7th international workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006 : revised selected and invited papers / | 1 |
