100+ Items that share the Concept Logic, Symbolic and mathematical  Congresses
Context
Context of Logic, Symbolic and mathematical  CongressesSubject of
 10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 2427, 1990 : proceedings
 5th Conference on Automated Deduction, Les Arcs, France, July 811, 1980
 6th Conference on Automated Deduction, New York, USA, June 79, 1982
 8th International Conference on Automated Deduction : Oxford, England, July 27August 1, 1986 : proceedings
 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 2326, 1988 : proceedings
 Advances in logic, artificial intelligence, and robotics : LAPTEC 2002
 Advances in technological applications of logical and intelligent systems : selected papers from the Sixth Congress on Logic Applied to Technology
 Advances in technological applications of logical and intelligent systems : selected papers from the Sixth Congress on Logic Applied to Technology
 Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia
 Applications scientifiques de la logique mathematique: : actes du 2e Colloque international de logique mathematique, Paris, 2530 aout 1952, Institut Henri Poincare
 Artificial intelligence and symbolic computation : international conference AISC 2000, Madrid, Spain, July 1719, 2000, revised papers
 Automated deduction, CADE12 : 12th International Conference on Automated Deduction, Nancy, France, June 26  July 1, 1994 : proceedings
 COLOG88 : International Conference on Computer Logic, Tallinn, USSR, December 1216, 1988, proceedings
 CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 1216, 1987 : proceedings
 CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 26, 1989 : proceedings
 Cabal seminar 7677 : proceedings, CaltechUCLA logic seminar 197677
 Cambridge Summer School in Mathematical Logic; : (papers)
 Combinatorics, computability, and logic : proceedings of the Third International Conference on Combinatorics, Computability, and Logic, (DMTCS '01)
 Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 15, 1990 : proceedings
 Conference in Mathematical Logic, London '70.
 Contributions to nonstandard analysis.
 Current issues in quantum logic
 Eleventh Scandinavian Conference on Artificial Intelligence : SCAI 2011
 Frege : importance and legacy
 Frontiers of combining systems : 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 810, 2002 : proceedings
 Frontiers of combining systems : first international workshop, Munich, March 1996
 Godel remembered : Salzburg 1012 July 1983
 ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
 Infinity and truth
 Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London
 Intuitionism and proof theory. : Proceedings of the summer conference at Buffalo, N.Y., 1968.
 Logic Colloquium '77 : proceedings of the colloquium held in Wroclaw, August 1977
 Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984
 Logic Colloquium '85 : proceedings of the colloquium held in Orsay, France, July 1985
 Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 1319, 1986
 Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 2025, 1987
 Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 2231, 1988
 Logic Colloquium : symposium on logic held at Boston, 197273
 Logic Symposia, Hakone, 1979, 1980 : proceedings of a conference held in Hakone, Japan, March 2124, 1979 and February 47, 1980
 Logic and algorithmic : an international symposium held in honour of Ernst Specker
 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 2028, 1988
 Logic and its applications : 5th Indian Conference, ICLA 2013, Chennai, India, January 1012, 2013 : proceedings
 Logic at Botik '89 : symposium on logical foundations of computer science, PereslavlZalessky, USSR, July 38, 1989 : proceedings
 Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July 1973
 Logic year 197980, the University of Connecticut, USA
 Logic, action, and information : essays on logic in philosophy and artificial intelligence
 Logic, computation, hierarchies
 Logic, foundations of mathematics, and computability theory
 Logic, methodology and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 714, 1991
 Logic, methodology, and philosophy of science; : proceedings.
 Logic, methodology, and philosophy; : proceedings.
 Logical foundations of computer science : international symposium, LFCS 2007, New York, NY, USA, June 47, 2007 : proceedings
 Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 1014, 1990, proceedings
 Logics in artificial intelligence : European workshop, JELIA 2000, Málaga, Spain, September 29October 2, 2000 : proceedings
 Logique, automatique, informatique. : (Recherches.
 Mathematical logic : proceedings of the first Brazilian Conference
 Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987
 Mathematical logic and foundations of set theory. : Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 1114 November 1968.
 Mathematical logic in Asia : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 1619 August 2005
 Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 16, 1983
 Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá
 Natural language and logic : International Scientific Symposium, Hamburg, FRG, May 911, 1989 : proceedings
 Natural language understanding and logic programming : proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 1820 September, 1984
 New perspectives on games and interaction
 Nonmonotonic reasoning : 2nd international workshop, Grassau, FRG, June 1315, 1988 : proceedings
 Proceedings : Symposium on Logic in Computer Science
 Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 16 September 2008
 Proceedings of the 11th Asian Logic Conference : in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 2227 June 2009
 Proceedings of the 12th Asian Logic Conference, Wellington, New Zealand, 1520 December 2011
 Proceedings of the International Symposium on Uniformly Structured Automata and Logic : papers presented at the International Institute for Advanced Study of Social Information Science, Tokyo, August 2123, 1975
 Proceedings of the Logic Colloquium held in Aachen, July 1823, 1983
 Proceedings of the Second Scandinavian Logic Symposium.
 Proceedings of the Summer School and Colloquium in Mathematical Logic, Manchester, August, 1969.
 Proceedings of the Summer School in Logic, Leeds, 1967; : N. A. T. O. Advanced Study Institute, Meeting of the Association for Symbolic Logic.
 Proceedings of the conference 'Algebra and Logic' : Cetinje, 1986
 Proceedings of the conference, Algebra and Logic : Zagreb, 1984
 Recent progress in the Boolean domain
 Seventh International Conference on Automated Deduction, Napa, California, USA, May 1416, 1984 : proceedings
 Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 2426, 1989 : proceedings
 Symbolic computation and education
 Syntactic and structural pattern recognition
 Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 1922, 1986, Monterey, California
 Toposes, algebraic geometry and logic
 Truth, syntax and modality; : proceedings of the Temple University Conference on Alternative Semantics.
 Twentyfive years of constructive type theory : proceedings of a congress held in Venice, October 1995
Embed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.lib.rpi.edu/resource/74xGSsxHwtQ/" typeof="Intangible http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.lib.rpi.edu/resource/74xGSsxHwtQ/">Logic, Symbolic and mathematical  Congresses</a></span>  <span property="offers" typeOf="Offer"><span property="offeredBy" typeof="Library ll:Library" resource="http://link.lib.rpi.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.lib.rpi.edu/">Rensselaer Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Concept Logic, Symbolic and mathematical  Congresses
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.lib.rpi.edu/resource/74xGSsxHwtQ/" typeof="Intangible http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.lib.rpi.edu/resource/74xGSsxHwtQ/">Logic, Symbolic and mathematical  Congresses</a></span>  <span property="offers" typeOf="Offer"><span property="offeredBy" typeof="Library ll:Library" resource="http://link.lib.rpi.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.lib.rpi.edu/">Rensselaer Libraries</a></span></span></span></span></div>
Structured data from the Bibframe namespace is licensed under the
Creative
Commons Attribution 4.0 International License by
Rensselaer Libraries.
Additional terms may apply to data associated with third party namespaces.
Logic, Symbolic and mathematical  Congresses
 Local Identifier
 http://link.lib.rpi.edu/resource/74xGSsxHwtQ/
 Network Identifier
 http://library.link/resource/74xGSsxHwtQ/
Resource Description Namespaces
 http://bibfra.me/vocab/lite/
 http://bibfra.me/vocab/marc/
 http://bibfra.me/vocab/marcext/
 http://bibfra.me/vocab/relation/
 http://creativecommons.org/ns#
 http://library.link/vocab/
 http://ogp.me/
 http://purl.org/dc/terms/
 http://schema.org/
 http://www.w3.org/1999/02/22rdfsyntaxns#
 http://www.w3.org/2000/01/rdfschema#
Network Analysis
 Inbound Links

85 1 Total85 In Library based on 1 Link Type
 Outbound Links

2 2 Total2 To Library based on 2 Link Types
Shared in Network
This resource is rare in the Library.Link network
Click the 'Analyze Network' button to show other libraries in the Library.Link network that share this resource
Currenty shared across 0 libraries
and 0
members of
Rensselaer Libraries
0
0
0
0
 http://link.lib.rpi.edu/
Processing Feedback ...