Logic, Symbolic and mathematical - Congresses.

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

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

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

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

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

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

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

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

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

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

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

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

Logic, methodology, and philosophy of science, VII : = proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983 / by: (書目-語言資料,印刷品)

Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992 / by: (書目-語言資料,印刷品)

Concept lattices = Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004 : proceedings / by: (書目-語言資料,印刷品)

Automated deduction in geometry = 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers / by: (書目-語言資料,印刷品)

Formal Concept Analysis = Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings / by: (書目-語言資料,印刷品)

Automated Deduction - CADE-20 = 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings / by: (書目-語言資料,印刷品)

Guida alla teoria degli insiemi by: (書目-語言資料,印刷品)

Logic and Theory of Algorithms = 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings / by: (書目-語言資料,印刷品)

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

Towards mathematical philosophy = papers from the Studia Logica Conference Trends in Logic IV / by: (書目-語言資料,印刷品)

Logic and its applications = third Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009, proceedings / by: (書目-語言資料,印刷品)

Logical foundations of computer science = International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : Proceedings / by: (書目-語言資料,印刷品)

Automated deduction, CADE-19 = 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings / by: (書目-語言資料,印刷品)

Discrete mathematics and theoretical computer science = 4th international conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings / by: (書目-語言資料,印刷品)

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

Grammatical inference = algorithms and applications : 7th international colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004 : proceedings / by: (書目-語言資料,印刷品)

Logics in artificial intelligence = 9th European conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings / by: (書目-語言資料,印刷品)

Formal concept analysis = 7th international conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008 ; proceedings / by: (書目-語言資料,印刷品)

Automated deduction in geometry = International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers / by: (書目-語言資料,印刷品)

Computational logic and proof theory = 5th Kurt Godel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997 : proceedings / by: (書目-語言資料,印刷品)

Logical foundations of computer science = 4th international symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997 : proceedings / by: (書目-語言資料,印刷品)

Artificial intelligence and symbolic computation = International Conference AISC '98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings / by: (書目-語言資料,印刷品)

Automated deduction, CADE-15 = 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings / by: (書目-語言資料,印刷品)

Grammatical inference = 4th international colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998 : proceedings / by: (書目-語言資料,印刷品)

Logics in artificial intelligence = European Workshop, JELIA '98 Dagstuhl, Germany, October 12-15, 1998 : proceedings / by: (書目-語言資料,印刷品)

Theorem proving in higher order logics = 11th international conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998 : proceedings / by: (書目-語言資料,印刷品)

Automated deduction - CADE-17 = 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings / by: (書目-語言資料,印刷品)

Frontiers of combining systems = third international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings / by: (書目-語言資料,印刷品)

Grammatical inference = algorithms and applications : 5th international colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 : proceedings / by: (書目-語言資料,印刷品)

Artificial intelligence and symbolic computation = International Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers / by: (書目-語言資料,印刷品)

Automated deduction in geometry = third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers / by: (書目-語言資料,印刷品)

Artificial intelligence, automated reasoning, and symbolic computation = joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings / by: (書目-語言資料,印刷品)

Automated deduction-CADE-18 = 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings / by: (書目-語言資料,印刷品)

Frontiers of combining systems = 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings / by: (書目-語言資料,印刷品)

Grammatical inference = algorithms and applications : 6th international colloquium, ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002 : proceedings / by: (書目-語言資料,印刷品)

Logics in artificial intelligence = 8th European conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002 : proceedings / by: (書目-語言資料,印刷品)

Intelligent computer mathematics = 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings/ by: (書目-語言資料,印刷品)

Logic, language, information and computation = 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 : proceedings / by: (書目-語言資料,印刷品)

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

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

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

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

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

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

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

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

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

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

Formal concept analysis = 16th International Conference, ICFCA 2021, Strasbourg, France, June 29 - July 2, 2021 : proceedings / by: (書目-電子資源)

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

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

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

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

Logic, language, information, and computation = 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023 : proceedings / by: (書目-電子資源)

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

Logic Colloquium '87 : = proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 / by: (書目-語言資料,印刷品)

Logic Colloquium '86 : = proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 / by: (書目-語言資料,印刷品)

Logic Colloquium '88 : = proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 / by: (書目-語言資料,印刷品)

Proceedings : = Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993 / by: (書目-語言資料,印刷品)

Proceedings : = Symposium on Logic in Computer Science : LICS '94, CNAM, Paris, France, July 4-7, 1994 / by: (書目-語言資料,印刷品)

Finite and infinite combinatorics in sets and logic : = [proceedings of the NATO Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic, Banff, Alberta, Canada, April 21-May 4, 1991] / by: (書目-語言資料,印刷品)

Logic and computer science : = lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 / by: (書目-語言資料,印刷品)

Models, algebras, and proofs : = selected papers of the X Latin American Symposium on Mathematical Logic held in Bogota / by: (書目-語言資料,印刷品)

Advances in contemporary logic and computer science : = proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil / by: (書目-語言資料,印刷品)

Methods and applications of mathematical logic : = proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 / by: (書目-語言資料,印刷品)

Logic and combinatorics : = proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985, with support from the National Science Foundation / by: (書目-語言資料,印刷品)

Advances in logic, artificial intelligence, and robotics = LAPTEC 2002 / by: (書目-語言資料,印刷品)

Advances in logic based intelligent systems = selected papers of LAPTEC 2005 / by: (書目-語言資料,印刷品)

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

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