Logic, Symbolic and mathematical

Logica Universalis :Towards a General Theory of Logic / by: (書目-電子資源)

A Logical Approach to Philosophy :Essays in Honour of Graham Solomon / by: (書目-電子資源)

The Age of Alternative Logics :Assessing Philosophy of Logic and Mathematics Today / by: (書目-電子資源)

18 Unconventional Essays on the Nature of Mathematics / by: (書目-電子資源)

Mathematical Problems from Applied Logic I :Logics for the XXIst Century / by: (書目-電子資源)

Notes on Set Theory / by: (書目-電子資源)

A Concise Introduction to Mathematical Logic / by: (書目-電子資源)

Problems and Theorems in Classical Set Theory / by: (書目-電子資源)

Finite Model Theory / by: (書目-電子資源)

Axiom of Choice / by: (書目-電子資源)

Function Algebras on Finite Sets :A Basic Course on Many-Valued Logic and Clone Theory / by: (書目-電子資源)

Set Theory :Centre de Recerca Matematica Barcelona, 2003-2004 / by: (書目-電子資源)

The Structure of Models of Peano Arithmetic by: (書目-電子資源)

Automated Deduction in Geometry5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers by: (書目-電子資源)

Formal Concept Analysis (vol. # 3874)4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings / by: (書目-電子資源)

Artificial Intelligence and Symbolic Computation8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings / by: (書目-電子資源)

Grammatical Inference: Algorithms and Applications8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006, Proceedings / by: (書目-電子資源)

Logic and Theory of Algorithms4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings / by: (書目-電子資源)

Logic, Language, Information and Computation15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings / by: (書目-電子資源)

Formal Concept AnalysisThird International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings / by: (書目-電子資源)

Automated Deduction - CADE-2020th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings / by: (書目-電子資源)

Frontiers of Combining Systems :5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings by: (書目-電子資源)

Grammatical inferencealgorithms and applications : 9th international colloquium, ICGI 2008, Saint-Malo, France, September 22-24, 2008 : proceedings / by: (書目-語言資料,印刷品)

Towards mathematical philosophypapers from the Studia Logica Conference Trends in Logic IV / by: (書目-電子資源)

Logic and its applicationsthird Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009, proceedings / by: (書目-電子資源)

Logic functions and equationsexamples and exercises / by: (書目-電子資源)

Logical foundations of computer scienceInternational Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : Proceedings / by: (書目-電子資源)

Automated deduction, CADE-1919th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings / by: (書目-電子資源)

Discrete mathematics and theoretical computer science4th international conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings / by: (書目-電子資源)

Artificial intelligence and symbolic computation7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings / by: (書目-電子資源)

Automated deduction in geometry4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers / by: (書目-電子資源)

Concept latticesSecond International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004 : proceedings / by: (書目-電子資源)

Grammatical inferencealgorithms and applications : 7th international colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004 : proceedings / by: (書目-電子資源)

Logics in artificial intelligence9th European conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings / by: (書目-電子資源)

Formal concept analysis7th international conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008 ; proceedings / by: (書目-電子資源)

Logic, language, information and computation16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings / by: (書目-電子資源)

Advances in logic based intelligent systemsselected papers of LAPTEC 2005 / by: (書目-電子資源)

Intelligent computer mathematics16th symposium, Calculemus 2009 ; 8th international conference, MKM 2009, held as part of CICM 2009, Grand Bend, Canada, July 6-12, 2009 ; proceedings / by: (書目-電子資源)

Frontiers of combining systems7th international symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009 : proceedings / by: (書目-電子資源)

Schaum's outline of discrete mathematics by: (書目-電子資源)

Carnap's Logical syntax of language by: (書目-電子資源)

Automated deduction in geometryInternational Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers / by: (書目-電子資源)

Automated deduction, CADE-1414th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings / by: (書目-電子資源)

Computational logic and proof theory5th Kurt Godel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997 : proceedings / by: (書目-電子資源)

Logical foundations of computer science4th international symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997 : proceedings / by: (書目-電子資源)

Artificial intelligence and symbolic computationInternational Conference AISC '98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings / by: (書目-電子資源)

Automated deduction, CADE-1515th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings / by: (書目-電子資源)

Grammatical inference4th international colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998 : proceedings / by: (書目-電子資源)

Logics in artificial intelligenceEuropean Workshop, JELIA '98 Dagstuhl, Germany, October 12-15, 1998 : proceedings / by: (書目-電子資源)

Theorem proving in higher order logics11th international conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998 : proceedings / by: (書目-電子資源)

Automated deduction in geometrySecond International Workshop, ADG '98, Beijing, China, August 1998 : proceedings / by: (書目-電子資源)

Automated deduction - CADE-1616th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings / by: (書目-電子資源)

Automated deduction - CADE-1717th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings / by: (書目-電子資源)

Frontiers of combining systemsthird international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings / by: (書目-電子資源)

Grammatical inferencealgorithms and applications : 5th international colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 : proceedings / by: (書目-電子資源)

Artificial intelligence and symbolic computationInternational Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers / by: (書目-電子資源)

Automated deduction in geometrythird international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers / by: (書目-電子資源)

Artificial intelligence, automated reasoning, and symbolic computationjoint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings / by: (書目-電子資源)

Automated deduction-CADE-1818th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings / by: (書目-電子資源)

Frontiers of combining systems4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings / by: (書目-電子資源)

Grammatical inferencealgorithms and applications : 6th international colloquium, ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002 : proceedings / by: (書目-電子資源)

Logics in artificial intelligence8th European conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002 : proceedings / by: (書目-電子資源)

Intelligent computer mathematics10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings / by: (書目-電子資源)

Advances in technological applications of logical and intelligent systemsselected papers from the Sixth Congress on Logic Applied to Technology / by: (書目-電子資源)

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

Formal concept analysis8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010 : proceedings / by: (書目-電子資源)

Logic and the foundations of game and decision theory - LOFT 88th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, revised selected papers / by: (書目-電子資源)

Logics in artificial intelligence12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, proceedings / by: (書目-電子資源)

Grammatical inferencetheoretical results and applications : 10th International Colloquium, ICGI 2010, Valencia, Spain, September 13-16, 2010, proceedings / by: (書目-電子資源)

Logic and its applications4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011 : proceedings / by: (書目-電子資源)

Formal concept analysis9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011 : proceedings / by: (書目-電子資源)

Logic, language, information and computation18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings / by: (書目-電子資源)

Giuseppe Peano between mathematics and logicproceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2-3, 2008 / by: (書目-電子資源)

Automated deductionCADE-23 : 23rd international conference on automated deduction, Wroclaw, Poland, July 31 - August 5, 2011 : proceedings / by: (書目-電子資源)

Frontiers of combining systems8th international symposium, FroCoS 2011, Saarbrucken, Germany, October 5-7, 2011 : proceedings / by: (書目-電子資源)

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

Logics in artificial intelligence13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012 : proceedings / by: (書目-電子資源)

Introduction to mathematical proofs :a transition / by: (書目-語言資料,印刷品)

Formal concept analysis12th International conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-13, 2014 : proceedings / by: (書目-電子資源)

Interactive theorem proving5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings / by: (書目-電子資源)

Logic, language, information, and computation21st International Workshop, WoLLIC 2014, Valparaiso, Chile, September 1-4, 2014 : proceedings / by: (書目-電子資源)

Logics in artificial intelligence14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014 : proceedings / by: (書目-語言資料,印刷品)

Artificial intelligence and symbolic computation12th international conference, AISC 2014, Seville, Spain, December 11-13, 2014 : proceedings / by: (書目-電子資源)

Logic and its applications6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015 : proceedings / by: (書目-電子資源)

Formal concept analysis13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015 : proceedings / by: (書目-電子資源)

Facets of uncertainties and applicationsICFUA, Kolkata, India, December 2013 / by: (書目-電子資源)

Logic, language, information, and computation22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015 : proceedings / by: (書目-電子資源)

Automated deduction - CADE-2525th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings / by: (書目-電子資源)

One hundred prisoners and a light bulb by: (書目-電子資源)

Interactive theorem proving6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015 : proceedings / by: (書目-電子資源)

Frontiers of combining systems10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings / by: (書目-電子資源)

Structural analysis of non-classical logicsthe proceedings of the second Taiwan Philosophical Logic Colloquium / by: (書目-電子資源)

Logic, language, information, and computation23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings / by: (書目-電子資源)

Logic and its applications7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings / by: (書目-電子資源)

Automated deduction - CADE 2626th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017 : proceedings / by: (書目-電子資源)

Frontiers of combining systems11th International Symposium, FroCoS 2017, Brasilia, Brazil, September 27-29, 2017 : proceedings / by: (書目-電子資源)

Logic, language, information, and computation25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018 : proceedings / by: (書目-電子資源)

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

Artificial intelligence and symbolic computation13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018 : proceedings / by: (書目-電子資源)

Formal concept analysis14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017 : proceedings / by: (書目-電子資源)

Logic, language, information, and computation24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017 : proceedings / by: (書目-電子資源)

Logics in artificial intelligence16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019 : proceedings / by: (書目-電子資源)

Logic, language, information, and computation26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019 : proceedings / by: (書目-電子資源)

Theory of graded consequencea general framework for logics of uncertainty / 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: (書目-電子資源)

Logic and argumentationthird International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020 : proceedings / by: (書目-電子資源)

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

Automated deduction - CADE 2727th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019 : proceedings / by: (書目-電子資源)

Formal concept analysis15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25-28, 2019 : proceedings / by: (書目-電子資源)

Frontiers of combining systems12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019 : proceedings / by: (書目-電子資源)

Logic and its applications8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019 : proceedings / by: (書目-電子資源)

Statistical learning with math and R100 exercises for building logic / by: (書目-電子資源)

Logics in artificial intelligence17th European Conference, JELIA 2021, virtual event, May 17-20, 2021 : proceedings / by: (書目-電子資源)

Automated deduction - CADE 2828th International Conference on Automated Deduction, virtual event, July 12-15, 2021 : proceedings / by: (書目-電子資源)

Frontiers of combining systems13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021 : proceedings / by: (書目-電子資源)

Logic, language, information, and computation27th international workshop, WoLLIC 2021, virtual event, October 5-8, 2021 : proceedings / by: (書目-電子資源)

Logic and argumentation4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021 : proceedings / by: (書目-電子資源)

Advances in mathematical logicdedicated to the memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018 : selected, revised contributions / by: (書目-電子資源)

Formal concept analysis16th International Conference, ICFCA 2021, Strasbourg, France, June 29 - July 2, 2021 : 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, language, information, and computation29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023 : proceedings / by: (書目-電子資源)

Automated deduction - CADE 2929th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023 : proceedings / by: (書目-電子資源)

Logic and argumentation5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023 : proceedings / by: (書目-電子資源)

Frontiers of combining systems14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023 : proceedings / by: (書目-電子資源)

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

Formal concept analysis17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023 : proceedings / by: (書目-電子資源)

Logic, language, information, and computation30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024 : proceedings / by: (書目-電子資源)