Logic, Symbolic and mathematical - Congresses.
Overview
| Works: | 92 works in 30 publications in 30 languages | |
|---|---|---|
Titles
Applied logic : = how, what, and why : logical approaches to natural language /
by:
(Language materials, printed)
Logic, methodology, and philosophy of science, VII : = proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983 /
by:
(Language materials, printed)
Methods and applications of mathematical logic : = proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 /
by:
(Language materials, printed)
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:
(Language materials, printed)
Automated deduction in geometry = 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers /
by:
(Language materials, printed)
Frontiers of Combining Systems : = 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings
by:
(Language materials, printed)
Logic and Theory of Algorithms = 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings /
by:
(Language materials, printed)
Grammatical inference = algorithms and applications : 9th international colloquium, ICGI 2008, Saint-Malo, France, September 22-24, 2008 : proceedings /
by:
(Language materials, printed)
Logical foundations of computer science = International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : Proceedings /
by:
(Language materials, printed)
Advances in logic based intelligent systems = selected papers of LAPTEC 2005 /
by:
(Language materials, printed)
Computational logic and proof theory = 5th Kurt Godel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997 : proceedings /
by:
(Language materials, printed)
Logical foundations of computer science = 4th international symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997 : proceedings /
by:
(Language materials, printed)
Artificial intelligence and symbolic computation = International Conference AISC '98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings /
by:
(Language materials, printed)
Automated deduction, CADE-15 = 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings /
by:
(Language materials, printed)
Grammatical inference = 4th international colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998 : proceedings /
by:
(Language materials, printed)
Logics in artificial intelligence = European Workshop, JELIA '98 Dagstuhl, Germany, October 12-15, 1998 : proceedings /
by:
(Language materials, printed)
Artificial intelligence and symbolic computation = International Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers /
by:
(Language materials, printed)
Automated deduction in geometry = third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /
by:
(Language materials, printed)
Automated deduction-CADE-18 = 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings /
by:
(Language materials, printed)
Frontiers of combining systems = 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Automated deduction - CADE 26 = 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017 : proceedings /
by:
(Electronic resources)
Formal concept analysis = 14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017 : proceedings /
by:
(Electronic resources)
Logic, language, information, and computation = 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017 : proceedings /
by:
(Electronic resources)
Logic and argumentation = third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020 : proceedings /
by:
(Electronic resources)
Model-based safety and assessment = 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019 : proceedings /
by:
(Electronic resources)
Logics in artificial intelligence = 17th European Conference, JELIA 2021, virtual event, May 17-20, 2021 : proceedings /
by:
(Electronic resources)
Automated deduction - CADE 27 = 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019 : proceedings /
by:
(Electronic resources)
Logic and its applications = 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019 : proceedings /
by:
(Electronic resources)
Logic, language, information, and computation = 27th international workshop, WoLLIC 2021, virtual event, October 5-8, 2021 : proceedings /
by:
(Electronic resources)
Logic and argumentation = 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021 : proceedings /
by:
(Electronic resources)
Model-based safety and assessment = 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020 : proceedings /
by:
(Electronic resources)
Advances in mathematical logic = dedicated to the memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018 : selected, revised contributions /
by:
(Electronic resources)
Logic and argumentation = 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023 : proceedings /
by:
(Electronic resources)
Formal concept analysis = 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023 : proceedings /
by:
(Electronic resources)
Logics in artificial intelligence = 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings /
by:
(Electronic resources)
Logic Colloquium '87 : = proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 /
by:
(Language materials, printed)
Logic Colloquium '86 : = proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 /
by:
(Language materials, printed)
Logic Colloquium '88 : = proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 /
by:
(Language materials, printed)
Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992 /
by:
(Language materials, printed)
Proceedings : = Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993 /
by:
(Language materials, printed)
Proceedings : = Symposium on Logic in Computer Science : LICS '94, CNAM, Paris, France, July 4-7, 1994 /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Models, algebras, and proofs : = selected papers of the X Latin American Symposium on Mathematical Logic held in Bogota /
by:
(Language materials, printed)
Advances in contemporary logic and computer science : = proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil /
by:
(Language materials, printed)
Advances in logic, artificial intelligence, and robotics = LAPTEC 2002 /
by:
(Language materials, printed)
Concept lattices = Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004 : proceedings /
by:
(Language materials, printed)
Formal Concept Analysis = Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings /
by:
(Language materials, printed)
Automated Deduction - CADE-20 = 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings /
by:
(Language materials, printed)
Logic, Language, Information and Computation = 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings /
by:
(Language materials, printed)
Towards mathematical philosophy = papers from the Studia Logica Conference Trends in Logic IV /
by:
(Language materials, printed)
Logic and its applications = third Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009, proceedings /
by:
(Language materials, printed)
Automated deduction, CADE-19 = 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings /
by:
(Language materials, printed)
Discrete mathematics and theoretical computer science = 4th international conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings /
by:
(Language materials, printed)
Artificial intelligence and symbolic computation = 7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings /
by:
(Language materials, printed)
Automated deduction in geometry = 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers /
by:
(Language materials, printed)
Concept lattices = Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004 : proceedings /
by:
(Electronic resources)
Grammatical inference = algorithms and applications : 7th international colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004 : proceedings /
by:
(Language materials, printed)
Logics in artificial intelligence = 9th European conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings /
by:
(Language materials, printed)
Formal concept analysis = 7th international conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008 ; proceedings /
by:
(Language materials, printed)
Automated deduction in geometry = International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers /
by:
(Language materials, printed)
Automated deduction, CADE-14 = 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings /
by:
(Language materials, printed)
Theorem proving in higher order logics = 11th international conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998 : proceedings /
by:
(Language materials, printed)
Automated deduction in geometry = Second International Workshop, ADG '98, Beijing, China, August 1998 : proceedings /
by:
(Language materials, printed)
Automated deduction - CADE-16 = 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings /
by:
(Language materials, printed)
Automated deduction - CADE-17 = 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings /
by:
(Language materials, printed)
Frontiers of combining systems = third international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings /
by:
(Language materials, printed)
Grammatical inference = algorithms and applications : 5th international colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 : proceedings /
by:
(Language materials, printed)
Artificial intelligence, automated reasoning, and symbolic computation = joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings /
by:
(Language materials, printed)
Grammatical inference = algorithms and applications : 6th international colloquium, ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002 : proceedings /
by:
(Language materials, printed)
Logics in artificial intelligence = 8th European conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002 : proceedings /
by:
(Language materials, printed)
Logic, language, information and computation = 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 : proceedings /
by:
(Language materials, printed)
Formal concept analysis = 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010 : proceedings /
by:
(Language materials, printed)
Logic and its applications = 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings /
by:
(Electronic resources)
Frontiers of combining systems = 11th International Symposium, FroCoS 2017, Brasilia, Brazil, September 27-29, 2017 : proceedings /
by:
(Electronic resources)
Logics in artificial intelligence = 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019 : proceedings /
by:
(Electronic resources)
Logic, language, information, and computation = 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019 : proceedings /
by:
(Electronic resources)
Rules and reasoning = third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019 : proceedings /
by:
(Electronic resources)
Formal concept analysis = 15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25-28, 2019 : proceedings /
by:
(Electronic resources)
Frontiers of combining systems = 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019 : proceedings /
by:
(Electronic resources)
Automated deduction - CADE 28 = 28th International Conference on Automated Deduction, virtual event, July 12-15, 2021 : proceedings /
by:
(Electronic resources)
Frontiers of combining systems = 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021 : proceedings /
by:
(Electronic resources)
Formal concept analysis = 16th International Conference, ICFCA 2021, Strasbourg, France, June 29 - July 2, 2021 : proceedings /
by:
(Electronic resources)
Logic, language, information, and computation = 28th International Workshop, WOLLIC 2022, Iasi, Romania, September 20-23, 2022 : proceedings /
by:
(Electronic resources)
Model-based safety and assessment = 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022 : proceedings /
by:
(Electronic resources)
Logic, language, information, and computation = 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023 : proceedings /
by:
(Electronic resources)
Show more
Fewer
Subjects