Computer logic - Congresses.
概要
作品: | 155 作品在 116 項出版品 116 種語言 |
---|
書目資訊
Automated ReasoningThird International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
by:
(書目-電子資源)
Automated reasoning4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Computer science logic22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, proceedings /
by:
(書目-語言資料,印刷品)
Automated reasoningsecond international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings /
by:
(書目-電子資源)
Types for proofs and programsInternational Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers /
by:
(書目-電子資源)
Computational logic - CL 2000First International Conference, London, UK, July 24-28, 2000 : proceedings /
by:
(書目-電子資源)
Automated reasoningFirst International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings /
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:
(書目-電子資源)
Inductive logic programming19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009 : revised papers /
by:
(書目-電子資源)
Interfacesexplorations in logic, language and computation : ESSLLI 2008 and ESSLLI 2009 Student Sessions, selected papers /
by:
(書目-電子資源)
Reversible computationthird International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers /
by:
(書目-電子資源)
Automated reasoning6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012 : proceedings /
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:
(書目-電子資源)
Deontic logic and normative systems12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014 : proceedings /
by:
(書目-電子資源)
Reversible computation6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014 : proceedings /
by:
(書目-電子資源)
Pristine perspectives on logic, language, and computationESSLLI 2012 and ESSLLI 2013 Student Sessions : selected papers /
by:
(書目-電子資源)
Reversible computation7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015 : proceedings /
by:
(書目-電子資源)
Fields of logic and computation IIessays dedicated to Yuri Gurevich on the Occasion of His 75th Birthday /
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:
(書目-電子資源)
Reversible computation10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018 : proceedings /
by:
(書目-電子資源)
Reversible computation9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017 : proceedings /
by:
(書目-電子資源)
Rules and reasoningthird International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019 : proceedings /
by:
(書目-電子資源)
Computer performance engineering15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018 : proceedings /
by:
(書目-電子資源)
Reversible computation12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020 : proceedings /
by:
(書目-電子資源)
Rules and reasoning4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 - July 1, 2020 : proceedings /
by:
(書目-電子資源)
Reversible computation11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019 : proceedings /
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:
(書目-電子資源)
Reversible computation13th International Conference, RC 2021, virtual event, July 7-8, 2021 : proceedings /
by:
(書目-電子資源)
Rules and reasoning5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021 : proceedings /
by:
(書目-電子資源)
Reversible computation14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022 : proceedings /
by:
(書目-電子資源)
Automated reasoning11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022 : proceedings /
by:
(書目-電子資源)
Model-based safety and assessment8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022 : proceedings /
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:
(書目-電子資源)
Logics in artificial intelligence18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings /
by:
(書目-電子資源)
Rules and reasoning7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 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:
(書目-電子資源)
更多
較少的
主題