Вы здесь

Главная

формальная логика

Связанные издания:

Abstract State Machines, Alloy, B, TLA, VDM, and Z: Proc./6th International Conference, ABZ 2018, Southampton, UK, June 2018
Agents and Artificial Intelligence: Revised Selected Papers/9th International Conference, ICAART 2017, Porto, Portugal, February 2017
AI Approaches to the Complexity of Legal Systems: Revised Selected Papers/AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL_VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017
A Pipelined Multi-Core Machine with Operating System Support: Hardware Implementation and Correctness Proof
Application and Theory of Petri Nets and Concurrency: Proc./41st International Conference, PETRI NETS 2020, Paris, France, June 2020
Applications and Theory of Petri Nets and Concurrency: Proc./42nd International Conference, PETRI NETS 2021, Virtual Event, June 2021
Artificial Intelligence and Symbolic Computation: Proc./13th International Conference, AISC 2018, Suzhou, China, September 2018
Automated Deduction - CADE 27: Proc./27th International Conference on Automated Deduction, Natal, Brazil, August 2019
Automated Deduction - CADE 28: Proc./28th International Conference on Automated Deduction, Virtual Event, July 2021
Automated Reasoning, Part I: Proc./10th International Joint Conference, IJCAR 2020, Paris, France, July 2020
Automated Reasoning: Proc./9th International Joint Conference, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 2018
Automated Reasoning with Analytic Tableaux and Related Methods: Proc./28th International Conference, TABLEAUX 2019, London, UK, September 2019
Automated Reasoning with Analytic Tableaux and Related Methods: Proc./30th International Conference, TABLEAUX 2021, Birmingham, UK, September 2021
Automated Technology for Verification and Analysis: Proc./17th International Symposium, ATVA 2019, Taipei, Taiwan, October 2019
Automated Technology for Verification and Analysis: Proc./18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 2020
Automated Technology for Verification and Analysis: Proc./19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 2021
Belief Functions: Theory and Applications: Proc./6th International Conference, BELIEF 2021, Shanghai, China, October 2021
Beyond the Horizon of Computability: Proc./16th Conference on Computability in Europe, CIE 2020, Fisciano, Italy, July 2020
Business Process Management: Proc./17th International Conference, BPM 2019, Vienna, Austria, September 2019
Cellular Automata and Discrete Complex System: Proc./24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 2018
Chatbot Research and Design: Revised Selected Papers/3rd International Workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 2019
Chatbot Research and Design: Revised Selected Papers/4th International Workshop, CONVERSATIONS 2020, Virtual Event, November 2020
Chatbot Research and Design: Revised Selected Papers//5th International Workshop, CONVERSATIONS 2021, Virtual Event, November 2021
Coalgebraic Methods in Computer Science: Proc./15th IFIP WG 1.3 International Workshop, CMCS 2020 Colocated with ETAPS 2020, Dublin, Ireland, April 2020
Coalgebraic Methods in Computer Science: Revised Selected Papers/14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, June 2018
Computational Complexity and Property Testing: On the Interplay between Randomness and Computation
Computational Methods in Systems Biology: Proc./17th International Conference, CMSB 2019, Trieste, Italy, September 2019
Computational Methods in Systems Biology: Proc./18th International Conference, CMSB 2020, Konstanz, Germany, September 2020
Computational Methods in Systems Biology: Proc./19th International Conference, CMSB 2021, Bordeaux, France, September 2021
Computer Aided Verification, Part II: Proc./29th International Conference, CAV 2017, Heidelberg, Germany, July 2017
Computer Aided Verification, Part II: Proc./31st International Conference, CAV 2019, New York City,NY,USA, July 2019
Computer Aided Verification, Part II: Proc./33rd International Conference, CAV 2021, Virtual Event, July 2021
Computer Aided Verification, Part I: Proc./29th International Conference, CAV 2017, Heidelberg, Germany, July 2017
Computer Aided Verification, Part I: Proc./30th International Conference, CAV 2018 Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 2018
Computer Aided Verification, Part I: Proc./31st International Conference, CAV 2019, New York City,NY,USA, July 2019
Computer Aided Verification, Part I: Proc./32nd International Conference, CAV 2020. Los Angeles,CA,USA, July 2020
Computer Aided Verification, Part I: Proc./33rd International Conference, CAV 2021, Virtual Event, July 2021
Computer Algebra in Scientific Computing: Proc./2-th International Workshop, CASC 2018, Lille, France, September 2018
Computing with Foresight and Industry: Proc./15th Conference on Computability in Europe, CiE 2019, Durhan, UK, July 2019
Connecting with Computability: Proc./17th Conference on Computability in Europe, CiE 2021, Virtual Event, July 2021
Declarative Programming and Knowledge Management: Revised Selected Papers/ Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WELP, Cottbus, Germany, September 2019,
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY
Dependable Software Engineering: Proc./6th International Symposium, SETTA 2020, Guangzhou, China, November 2020
Dependable Software Engineering: Theories, Tools, and Applications: Proc./4th International Symposium, SETTA 2018, Beijing, China, September 2018
Dependable Software Engineering: Theories, Tools, and Applications: Proc./7th International Symposium, SETTA 2021, Beijing, China? November 2021
Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
Developments in Language Theory: Proc./22nd International Conference, DLT 2018, Tokyo, Japan, September 2018
Diagrammatic Representation and Inference: Proc./10th International Conference, Diagrams 2018, Edinburgh, UK, June 2018
Diagrammatic Representation and Inference: Proc./11th International Conference, Diagrams 2020, Tallinn, Estonia, August 2020
Diagrammatic Representation and Inference: Proc./12th International Conference, Diagrams 2021, Virtual, September 2021