Computer logic - Congresses.

Computer science logic18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings / by: (書目-電子資源)

Organized adaption in multi-agent systemsFirst International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008 : revised and invited papers / by: (書目-電子資源)

Computer science logic23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings / by: (書目-電子資源)

Computer science logic10th international workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers / by: (書目-電子資源)

Computer science logic11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers / by: (書目-電子資源)

Types for proofs and programsInternational Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers / by: (書目-電子資源)

Computer science logic12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings / by: (書目-電子資源)

Generalized quantifiers and computation9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop : Aix-en-Provence, France, August 11-22, 1997 : revised lectures / by: (書目-電子資源)

Computational logic - CL 2000First International Conference, London, UK, July 24-28, 2000 : proceedings / by: (書目-電子資源)

Computer science logic14th International Workshop, CSL 2000, annual conference of the EACSL, Fischbachau, Germany, August 21 - 26, 2000 : proceedings / by: (書目-電子資源)

Automated reasoningFirst International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings / by: (書目-電子資源)

Computer science logic15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings / by: (書目-電子資源)

Computer science logic16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings / by: (書目-電子資源)

Formal logical methods for system security and correctness by: (書目-電子資源)

Deontic logic in computer science10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010 : proceedings / by: (書目-電子資源)

Automated reasoning5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings / by: (書目-電子資源)

Interactive theorem provingFirst International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010 : proceedings / by: (書目-電子資源)

Logic, language, information and computation17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 : proceedings / by: (書目-電子資源)

Inductive logic programming19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009 : revised papers / by: (書目-電子資源)

Computer science logic24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, proceedings / by: (書目-電子資源)

Mathematical foundations of computer science 201035th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, proceedings / by: (書目-電子資源)

Computational logic in multi-agent systems11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010, proceedings / by: (書目-電子資源)

Interfacesexplorations in logic, language and computation : ESSLLI 2008 and ESSLLI 2009 Student Sessions, selected papers / by: (書目-電子資源)

Reasoning websemantic technologies for software engineering : 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010, tutorial lectures / by: (書目-電子資源)

Rewriting logic and its applications8th international workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010 : revised selected papers / by: (書目-電子資源)

Computational logic in multi-agent systems10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009 : revised selected and invited papers / by: (書目-電子資源)

Vagueness in communicationinternational workshop, ViC 2009, held as part of ESSLLI 2009, Bordeaux, France, July 20-24, 2009 : revised selected papers / by: (書目-電子資源)

Control, computation and information systemsfirst international conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25 - 27, 2011 : proceedings / by: (書目-電子資源)

Logic, language, and computation8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers / by: (書目-電子資源)

Computational logic in multi-agent systems12th international workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011 : proceedings / by: (書目-電子資源)

Computation, physics and beyondInternational Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012 : revised selected and invited papers / by: (書目-電子資源)

Foundations of information and knowledge systems7th international symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012 : proceedings / by: (書目-電子資源)

Logic for programming, artificial intelligence, and reasoning18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings / by: (書目-電子資源)

Theory and applications of formal argumentationfirst International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011 : revised selected papers / by: (書目-電子資源)

Reversible computationthird International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers / by: (書目-電子資源)

Logical aspects of computational linguistics7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012 : proceedings / by: (書目-電子資源)

Automated reasoning6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012 : proceedings / by: (書目-電子資源)

Logic, language and meaning18th Amsterdam Colloquium, Amsterdam , The Netherlands, December 19-21, 2011 : revised selected papers / by: (書目-電子資源)

Lectures on logic and computationESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011 : selected lecture notes / by: (書目-電子資源)

New Directions in Logic, Language and ComputationESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers / by: (書目-電子資源)

Deontic logic in computer science11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012 : proceedings / by: (書目-電子資源)

Logic, language, information and computation19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings / by: (書目-電子資源)

Argumentation in multi-agent systems8th International Workshop, ArgMAS 2011, Taipei, Taiwan, May 3, 2011 : revised selected papers / by: (書目-電子資源)

Logics and languages for reliability and security by: (書目-電子資源)

Rewriting logic and its applications9th International Workshop, WRLA 2012, held as a satellite event of ETAPS, Tallinn, Estonia, March 24-25, 2012 : revised selected papers / by: (書目-電子資源)

Computational logic in multi-agent systems8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and invited papers / by: (書目-電子資源)

Theory and applications of formal argumentationsecond International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013 : revised selected papers / by: (書目-電子資源)

Deontic logic and normative systems12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014 : proceedings / by: (書目-電子資源)

Logical aspects of computational linguistics8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014 : proceedings / by: (書目-電子資源)

Reversible computation6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014 : proceedings / by: (書目-電子資源)

Automated reasoning7th International Joint Conference, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014 : proceedings / by: (書目-電子資源)

Rewriting and Typed Lambda Calculijoint international conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings / by: (書目-電子資源)

Pristine perspectives on logic, language, and computationESSLLI 2012 and ESSLLI 2013 Student Sessions : selected papers / by: (書目-電子資源)

Rewriting logic and its applications10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014 : revised selected papers / by: (書目-電子資源)

Logic-based program synthesis and transformation24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014 : revised selected papers / by: (書目-電子資源)

Knowledge engineering and knowledge managementEKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linkoping, Sweden, November 24-28, 2014 : revised selected papers / by: (書目-電子資源)

Logic, language, and computation10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013 : revised selected papers / by: (書目-電子資源)

Reversible computation7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015 : proceedings / by: (書目-電子資源)

Machines, computations, and universality7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015 : proceedings / by: (書目-電子資源)

Fields of logic and computation IIessays dedicated to Yuri Gurevich on the Occasion of His 75th Birthday / by: (書目-電子資源)

Logic-based program synthesis and transformation25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers / by: (書目-電子資源)

Logic for programming, artificial intelligence, and reasoning20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings / by: (書目-電子資源)

Theory and applications of formal argumentationthird International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015 : revised selected papers / by: (書目-電子資源)

Logical foundations of computer scienceInternational Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016 : proceedings / by: (書目-電子資源)

Automated reasoning8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016 : proceedings / by: (書目-電子資源)

Reversible computation8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings / by: (書目-電子資源)

Rewriting logic and its applications11th International Workshop, WRLA 2016, held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016 : revised selected papers / by: (書目-電子資源)

Logic, language, and computation11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015 : rvised selected papers / by: (書目-電子資源)

Knowledge engineering and knowledge managementEKAW 2016 Satellite Events, EKM and Drift-an-LOD, Bologna, Italy, November 19-23, 2016 : revised selected papers / by: (書目-電子資源)

Logic-based program synthesis and transformation26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016 : revised selected papers / by: (書目-電子資源)

Applications of computer algebraKalamata, Greece, July 20-23 2015 / by: (書目-電子資源)

Theoretical aspects of computing - ICTAC 201714th International Colloquium, Hanoi, Vietnam, October 23-27, 2017 : proceedings / by: (書目-電子資源)

Dynamic logicnew trends and applications : first International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017 : proceedings / by: (書目-電子資源)

Theory and applications of formal argumentation4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017 : revised selected papers / by: (書目-電子資源)

Machines, computations, and universality8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018 : proceedings / by: (書目-電子資源)

Logic-based program synthesis and transformation27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017 : revised selected papers / by: (書目-電子資源)

Rules and reasoningsecond International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018 : proceedings / by: (書目-電子資源)

Reversible computation10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and security37th International Conference, SAFECOMP 2018, Vasteras, Sweden, September 19-21, 2018 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and securitySAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Vasteras, Sweden, September 18, 2018 : proceedings / by: (書目-電子資源)

Computer algebra in scientific computing20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018 : proceedings / by: (書目-電子資源)

Rewriting logic and its applications12th International Workshop, WRLA 2018, held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018 : proceedings / by: (書目-電子資源)

Computer algebra in scientific computing19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017 : proceedings / by: (書目-電子資源)

Reversible computation9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017 : proceedings / by: (書目-電子資源)

Language, logic, and computation12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017 : revised selected papers / by: (書目-電子資源)

At the intersection of language, logic, and informationESSLLI 2018 Student Session, Sofia, Bulgaria, August 6-17, 2018 : selected papers / by: (書目-電子資源)

Rules and reasoningthird International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019 : proceedings / by: (書目-電子資源)

Model-based safety and assessment6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019 : proceedings / by: (書目-電子資源)

Automated reasoning9th International Joint Conference, IJCAR 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018 : proceedings / by: (書目-電子資源)

Computer performance engineering15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018 : proceedings / by: (書目-電子資源)

Logical foundations of computer scienceInternational Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018 : proceedings / by: (書目-電子資源)

Logic-based program synthesis and transformation29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019 : revised selected papers / by: (書目-電子資源)

Computer performance engineering16th European Workshop, EPEW 2019, Milan, Italy, November 28-29, 2019 : revised selected papers / by: (書目-電子資源)

Dynamic logicnew trends and applications : second International Workshop, DaLi 2019, Porto, Portugal, October 7-11, 2019 : proceedings / by: (書目-電子資源)

Logical foundations of computer scienceInternational Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, proceedings / by: (書目-電子資源)

Reversible computation12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020 : proceedings / by: (書目-電子資源)

Model-based safety and assessment7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020 : proceedings / by: (書目-電子資源)

Rules and reasoning4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 - July 1, 2020 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and security39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and securitySAFECOMP 2020 Workshops : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020 : proceedings / by: (書目-電子資源)

Computer algebra in scientific computing21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and security38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and securitySAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019 : proceedings / by: (書目-電子資源)

Logic-based program synthesis and transformation28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018 : revised selected papers / by: (書目-電子資源)

Reversible computation11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019 : proceedings / by: (書目-電子資源)

Computer algebra in scientific computing22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020 : proceedings / by: (書目-電子資源)

Rewriting logic and its applications13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020 : revised selected papers / by: (書目-電子資源)

Dynamic logicnew trends and applications : third International Workshop, DaLi 2020, Prague, Czech Republic, October 9-10, 2020 : revised selected papers / by: (書目-電子資源)

Automated reasoning10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020 : proceedings.Part II / by: (書目-電子資源)

Automated reasoning10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020 : proceedings.Part I / by: (書目-電子資源)

Logic-based program synthesis and transformation30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020 : proceedings / by: (書目-電子資源)

Reversible computation13th International Conference, RC 2021, virtual event, July 7-8, 2021 : proceedings / by: (書目-電子資源)

Computer algebra in scientific computing23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and security40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and securitySAFECOMP 2021 Workshops : DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021 : proceedings / by: (書目-電子資源)

Performance engineering and stochastic modeling17th European Workshop, EPEW 2021 and 26th International Conference, ASMTA 2021, virtual event, December 9-10 and December 13-14, 2021 : proceedings / by: (書目-電子資源)

Rules and reasoning5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021 : proceedings / by: (書目-電子資源)

Logical foundations of computer scienceinternational symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022 : proceedings / by: (書目-電子資源)

Logic-based program synthesis and transformation31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021 : proceedings / by: (書目-電子資源)

Language, logic, and computation13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019 : revised selected papers / by: (書目-電子資源)

Reversible computation14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022 : proceedings / by: (書目-電子資源)

Rewriting logic and its applications14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022 : revised selected papers / by: (書目-電子資源)

Automated reasoning11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and security41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and securitySAFECOMP 2022 Workshops, DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE, Munich, Germany, September 6-9, 2002 : proceedings / by: (書目-電子資源)

Logic, language, information, and computation28th International Workshop, WOLLIC 2022, Iasi, Romania, September 20-23, 2022 : proceedings / by: (書目-電子資源)

Model-based safety and assessment8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022 : proceedings / by: (書目-電子資源)

Logic-based program synthesis and transformation32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022 : proceedings / by: (書目-電子資源)

Artificial intelligence logic and applicationsthe 2nd International Conference, AILA 2022, Shanghai, China, August 26-28, 2022 : proceedings / by: (書目-電子資源)

Rules and reasoning6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022 : proceedings / by: (書目-電子資源)

Dynamic logic : new trends and applications4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022 : revised selected papers / by: (書目-電子資源)

Logic and its applications10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023 : proceedings / by: (書目-電子資源)

Reversible computation15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and securitySAFECOMP 2023 Workshops, ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023 : proceedings / by: (書目-電子資源)

Logics in artificial intelligence18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings / by: (書目-電子資源)

Computer performance engineering and stochastic modelling19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20-23, 2023 : proceedings / by: (書目-電子資源)

Rules and reasoning7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023 : proceedings / by: (書目-電子資源)

Logic-based program synthesis and transformation33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023 : proceedings / by: (書目-電子資源)

Artificial intelligence logic and applicationsthe 3rd International Conference, AILA 2023, Changchun, China, august 5-6, 2023 : proceedings / by: (書目-電子資源)

Automated reasoning12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024 : proceedings.Part I / by: (書目-電子資源)

Automated reasoning12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024 : proceedings.Part II / by: (書目-電子資源)

Reversible computation16th International Conference, RC 2024, Toruń, Poland, July 4-5, 2024 : proceedings / by: (書目-電子資源)